math-nli: Output if sentence 2 Entails statement 1 or Contradicts statement 1 - 
sentence 1: Kimberly had 40 kiwi. Ronald proffered him some more. Now Kimberly has 87 kiwi. 
sentence 2:  Ronald proffered Kimberly 42 kiwi.
<equate> (87 - 40, 42)
Kimberly had 40 kiwi. Ronald proffered him some more. Now Kimberly has 87 kiwi. 
 Ronald proffered Kimberly 42 kiwi.