With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Tim is stronger than Eleanor. Tim is stronger than Lynn.
text_B: Among Tim, Eleanor and Lynn the strongest is Eleanor.
contradiction.