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