math-nli: Output if sentence 2 Entails statement 1 or Contradicts statement 1 - 
sentence 1: Billy had some lime. Melvin gave him 7 more. Now Billy has 30 lime. 
sentence 2:  Billy had 23 lime in the beginning.
<equate> (30 - 7, 23)
Billy had some lime. Melvin gave him 7 more. Now Billy has 30 lime. 
 Billy had 23 lime in the beginning.