math-nli: Output if sentence 2 Entails statement 1 or Contradicts statement 1 - 
sentence 1: Dan picked 9 limes and gave Sara 4 of the limes.  
sentence 2:  Dan has 5 limes.
<equate> (9-4, 5)
Dan picked 9 limes and gave Sara 4 of the limes.  
 Dan has 5 limes.