With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Lisa is skinnier than Harry. Lisa is skinnier than Frank.
text_B: Among Harry, Lisa and Frank the skinniest is Lisa.
entailment.