Premise: might form one pair

Hypothesis: could form five pair
Relation: contradiction