With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Steven is sadder than Anne. Steven is sadder than Al.
text_B: Among Anne, Steven and Al the saddest is Steven.
entailment.