math-nli: Output if sentence 2 Entails statement 1 or Contradicts statement 1 - 
sentence 1: Roy had 159 Chocolate. Kimberly lay hold of some Chocolate. Now Roy has 85  Chocolate. 
sentence 2:  Kimberly laid hold of 74 Chocolates.
<equate> (159 - 85, 74)
Roy had 159 Chocolate. Kimberly lay hold of some Chocolate. Now Roy has 85  Chocolate. 
 Kimberly laid hold of 74 Chocolates.