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