With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Andrea is smaller than Lynn. Steve is smaller than Lynn.
text_B: Among Lynn, Andrea and Steve the smallest is Steve.
neutral.