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