With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Jimmy is shorter than Thomas. Al is shorter than Thomas.
text_B: Among Jimmy, Al and Thomas the shortest is Jimmy.
neutral.