math-nli: Output if sentence 2 Entails statement 1 or Contradicts statement 1 - 
sentence 1: Laura had some lime. Deborah took 56 from him. Now Laura has 71 lime. 
sentence 2:  Laura had 127 limes initially.
<equate> (71 + 56, 127)
Laura had some lime. Deborah took 56 from him. Now Laura has 71 lime. 
 Laura had 127 limes initially.