math-nli: Output if sentence 2 Entails statement 1 or Contradicts statement 1 - 
sentence 1: Anne weighs 67 pounds. Douglas weighs 52 pounds. 
sentence 2:  Anne is 16 pounds heavier than Douglas.
<equate> ((67.0-52.0), 16)
Anne weighs 67 pounds. Douglas weighs 52 pounds. 
 Anne is 16 pounds heavier than Douglas.