math-nli: Output if sentence 2 Entails statement 1 or Contradicts statement 1 - 
sentence 1: A ship is filled with 5973 tons of cargo . It stops in the Bahamas , where sailors load 8723 tons of cargo onboard . 
sentence 2:  The ship now holds 14696 tons of cargo.
<equate> (5973.0 + 8723.0, 14696)
A ship is filled with 5973 tons of cargo . It stops in the Bahamas , where sailors load 8723 tons of cargo onboard . 
 The ship now holds 14696 tons of cargo.