math-nli: Output if sentence 2 Entails statement 1 or Contradicts statement 1 - 
sentence 1: Josephine had some Book. Grace gave him 4 more. Now Josephine has 12 Book. 
sentence 2:  Josephine had 8 books to begin with.
<equate> (12 - 4, 8)
Josephine had some Book. Grace gave him 4 more. Now Josephine has 12 Book. 
 Josephine had 8 books to begin with.