math-nli: Output if sentence 2 Entails statement 1 or Contradicts statement 1 - 
sentence 1: Thomas had 7 Watch. Mary proffered him some more. Now Thomas has 69 Watch. 
sentence 2:  Mary proffered Thomas 63 watches.
<equate> (69 - 7, 63)
Thomas had 7 Watch. Mary proffered him some more. Now Thomas has 69 Watch. 
 Mary proffered Thomas 63 watches.