One plus one might not always equal two, but it had to equal something.
The solution is there, even if it's not one you want. 
mnli hypothesis: The solution is there, even if it's not one you want.  premise: One plus one might not always equal two, but it had to equal something.