With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Samuel is tinier than Edith. Samuel is tinier than Judith.
text_B: Among Edith, Samuel and Judith the tiniest is Samuel.
entailment.