Concept:
The traditional square of opposition explains relations between categorical propositions.
Important relations are:
\[
\text{Contrary}
\]
\[
\text{Contradictory}
\]
\[
\text{Sub-contrary}
\]
\[
\text{Sub-alternation}
\]
Step 1: Match statement A.
Two propositions which may be true together but cannot be false together are called sub-contraries.
So:
\[
A \rightarrow II
\]
Step 2: Match statement B.
Two propositions which can neither be true together nor false together are contradictories.
One must be true and the other must be false.
So:
\[
B \rightarrow III
\]
Step 3: Match statement C.
Two propositions which may be false together but cannot be true together are contraries.
So:
\[
C \rightarrow IV
\]
Step 4: Match statement D.
When truth of universal implies truth of particular, the relation is sub-alternation.
So:
\[
D \rightarrow I
\]
Step 5: Final matching.
The correct matching is:
\[
A-II,\ B-III,\ C-IV,\ D-I
\]
Hence:
\[
\boxed{\text{(C)}}
\]