One plus one might not always equal two, but it had to equal something.
We know the exact reasoning. 
mnli hypothesis: We know the exact reasoning.  premise: One plus one might not always equal two, but it had to equal something.