With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Richmond is 550 miles from Pittsburg and 535 miles from Tempe.
text_B: Richmond is farther to Tempe than Richmond is to Pittsburg.
contradiction.