With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Kelly is longer than Don. Kelly is longer than Kathryn.
text_B: Among Don, Kelly and Kathryn the longest is Kathryn.
contradiction.