With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: San Francisco is 345 miles from San Jose and 875 miles from Springfield.
text_B: San Francisco is farther to Springfield than San Francisco is to San Jose.
entailment.