With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Christine is grosser than Kathleen. Christine is grosser than Sara.
text_B: Among Christine, Kathleen and Sara the grossest is Sara.
contradiction.