math-nli: Output if sentence 2 Entails statement 1 or Contradicts statement 1 - 
sentence 1: The difference between 2 times a number and -8 is -12. Find the number.
sentence 2:  The number is -9.
<equate> ((-12.0), -9.)
The difference between 2 times a number and -8 is -12. Find the number.
 The number is -9.