math-nli: Output if sentence 2 Entails statement 1 or Contradicts statement 1 - 
sentence 1: Mrs. Hilt looked at her car's odometer before a trip. The odometer s
sentence 2:  Mrs. Hilt traveled 160.7 miles during her trip.
<equate> ((372.0-212.3), Mrs.)
Mrs. Hilt looked at her car's odometer before a trip. The odometer s
 Mrs. Hilt traveled 160.7 miles during her trip.