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