Premise: One plus one might not always equal two, but it had to equal something.

Hypothesis: We know the exact reasoning. 
Relation: contradiction