math-nli: Output if sentence 2 Entails statement 1 or Contradicts statement 1 - 
sentence 1: John had 353 plums. He sunders all plums evenly among some friends. 
sentence 2:  There were 16 friends.
<equate> (353 / 22, 16)
John had 353 plums. He sunders all plums evenly among some friends. 
 There were 16 friends.