With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Jay is lazier than Elizabeth. Jay is lazier than Kelly.
text_B: Among Elizabeth, Jay and Kelly the laziest is Kelly.
contradiction.