With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Carol is smarter than Katherine. Carol is smarter than Fred.
text_B: Among Carol, Katherine and Fred the smartest is Katherine.
contradiction.