math-nli: Output if sentence 2 Entails statement 1 or Contradicts statement 1 - 
sentence 1: Alyssa 's dog had puppies . She gave 7 to her friends . She now has 5 puppies . 
sentence 2:  Alyssa had 12 puppies to start with.
<equate> (7 + 5, 12)
Alyssa 's dog had puppies . She gave 7 to her friends . She now has 5 puppies . 
 Alyssa had 12 puppies to start with.