With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Irvine is 705 miles from Irving and 340 miles from Buffalo.
text_B: Irvine is farther to Buffalo than Irvine is to Irving.
contradiction.