math-nli: Output if sentence 2 Entails statement 1 or Contradicts statement 1 - 
sentence 1: Jamie had 123 Watch. Connie clutched some Watch. Now Jamie has 81  Watch. 
sentence 2:  Connie clutched 42 Watch.
<equate> (123 - 81, 42)
Jamie had 123 Watch. Connie clutched some Watch. Now Jamie has 81  Watch. 
 Connie clutched 42 Watch.