math-nli: Output if sentence 2 Entails statement 1 or Contradicts statement 1 - 
sentence 1: Carl had 62 fig. Henry took 62 from him. Now 
sentence 2:  Carl has not reduced any figs.
<equate> (62 - 62, figs.)
Carl had 62 fig. Henry took 62 from him. Now 
 Carl has not reduced any figs.