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