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