math-nli: Output if sentence 2 Entails statement 1 or Contradicts statement 1 - 
sentence 1: Steve had 6 lime. Robert proffered him some more. Now Steve has 118 lime. 
sentence 2:  Robert proffered Steve 113 limes.
<equate> (118 - 6, 113)
Steve had 6 lime. Robert proffered him some more. Now Steve has 118 lime. 
 Robert proffered Steve 113 limes.