math-nli: Output if sentence 2 Entails statement 1 or Contradicts statement 1 - 
sentence 1: Teresa had 5 cherry. Harland proffered him some more. Now Teresa has 45 cherry. 
sentence 2:  Harland proffered Teresa 37 cherries.
<equate> (45 - 5, 37)
Teresa had 5 cherry. Harland proffered him some more. Now Teresa has 45 cherry. 
 Harland proffered Teresa 37 cherries.