With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Sharon is tougher than Robin. Sharon is tougher than Marie.
text_B: Among Sharon, Robin and Marie the toughest is Marie.
contradiction.