With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Kathryn is lonlier than Scott. Kathryn is lonlier than Henry.
text_B: Among Scott, Henry and Kathryn the loneliest is Henry.
contradiction.