With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Oklahoma is 645 miles from Irvine and 515 miles from Houston.
text_B: Oklahoma is nearer to Irvine than Oklahoma is to Houston.
contradiction.