math-nli: Output if sentence 2 Entails statement 1 or Contradicts statement 1 - 
sentence 1: Warren had some Car. Tony gave him 7 more. Now Warren has 22 Car. 
sentence 2:  Warren had 15 cars in the first place.
<equate> (22 - 7, 15)
Warren had some Car. Tony gave him 7 more. Now Warren has 22 Car. 
 Warren had 15 cars in the first place.