With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Rochester is 760 miles from Richmond and 235 miles from Olympia.
text_B: Rochester is farther to Olympia than Rochester is to Richmond.
contradiction.