math-nli: Output if sentence 2 Entails statement 1 or Contradicts statement 1 - 
sentence 1: Oscar 's bus ride to school is 0.75 mile and Charlie 's bus ride is 0.25 mile . 
sentence 2:  Oscar's bus ride is 0.5 mile longer than Charlie's.
<equate> (0.75 - 0.25, 0.5)
Oscar 's bus ride to school is 0.75 mile and Charlie 's bus ride is 0.25 mile . 
 Oscar's bus ride is 0.5 mile longer than Charlie's.