math-nli: Output if sentence 2 Entails statement 1 or Contradicts statement 1 - 
sentence 1: Lisa had 145 cherry. Alan took 142 from him. Now 
sentence 2:  Lisa has -2 cherries.
<equate> (145 - 142, cherries.)
Lisa had 145 cherry. Alan took 142 from him. Now 
 Lisa has -2 cherries.