math-nli: Output if sentence 2 Entails statement 1 or Contradicts statement 1 - 
sentence 1: Sheila had some blueberries. Dee gave him 4 more. Now Sheila has 12 blueberries. 
sentence 2:  Sheila had 13 blueberries at first.
<equate> (12 - 4, 13)
Sheila had some blueberries. Dee gave him 4 more. Now Sheila has 12 blueberries. 
 Sheila had 13 blueberries at first.