math-nli: Output if sentence 2 Entails statement 1 or Contradicts statement 1 - 
sentence 1: Dan had 104 Watch. Stewart take hold of some Watch. Now Dan has 100  Watch. 
sentence 2:  Stewart took hold of 4 Watches.
<equate> (104 - 100, 4)
Dan had 104 Watch. Stewart take hold of some Watch. Now Dan has 100  Watch. 
 Stewart took hold of 4 Watches.