With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Rochester is 870 miles from Pittsburg and 455 miles from Buffalo.
text_B: Rochester is farther to Buffalo than Rochester is to Pittsburg.
contradiction.