math-nli: Output if sentence 2 Entails statement 1 or Contradicts statement 1 - 
sentence 1: Ryan had some lime. Larry gave him 5 more. Now Ryan has 13 lime. 
sentence 2:  Ryan had 12 lime primitively.
<equate> (13 - 5, 12)
Ryan had some lime. Larry gave him 5 more. Now Ryan has 13 lime. 
 Ryan had 12 lime primitively.