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