With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Hartford is 750 miles from Houston and 420 miles from Boston.
text_B: Hartford is nearer to Houston than Hartford is to Boston.
contradiction.