With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Among Alice, Carl and Ian the healthiest is Ian.
text_B: Alice is healthier than Ian.
contradiction.