math-nli: Output if sentence 2 Entails statement 1 or Contradicts statement 1 - 
sentence 1: Otis had some Doll. Frances took 40 from him. Now Otis has 94 Doll. 
sentence 2:  Otis had 134 Dolls to begin with.
<equate> (94 + 40, 134)
Otis had some Doll. Frances took 40 from him. Now Otis has 94 Doll. 
 Otis had 134 Dolls to begin with.