With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Lisa is shyer than Ann. Lisa is shyer than Adam.
text_B: Among Ann, Adam and Lisa the shyest is Adam.
contradiction.