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