With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Stephen is cleverer than Lisa. Mike is cleverer than Lisa.
text_B: Among Lisa, Stephen and Mike the cleverest is Stephen.
neutral.