With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Mark is sweeter than Jeff. Mark is sweeter than Steve.
text_B: Among Jeff, Steve and Mark the sweetest is Steve.
contradiction.