math-nli: Output if sentence 2 Entails statement 1 or Contradicts statement 1 - 
sentence 1: Salvatore had 142 Chocolate. Betty grasped some Chocolate. Now Salvatore has 70  Chocolate. 
sentence 2:  Betty grasped 72 Chocolates.
<equate> (142 - 70, 72)
Salvatore had 142 Chocolate. Betty grasped some Chocolate. Now Salvatore has 70  Chocolate. 
 Betty grasped 72 Chocolates.