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