Premise: One plus one might not always equal two, but it had to equal something.
Hypothesis: We know the exact reasoning. 
Label: contradiction