math-nli: Output if sentence 2 Entails statement 1 or Contradicts statement 1 - 
sentence 1: Last Saturday, Spencer walked all over town running errands. First, he walked 0.3 of a mile from his house to the library and 0.1 of a mile from the library to the post office. Then he walked 0.4 of a mile from the post office back home. 
sentence 2:  Spencer walked 0.8 miles in all.
<equate> (0.3 + 0.1 + 0.4, 0.8)
Last Saturday, Spencer walked all over town running errands. First, he walked 0.3 of a mile from his house to the library and 0.1 of a mile from the library to the post office. Then he walked 0.4 of a mile from the post office back home. 
 Spencer walked 0.8 miles in all.