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