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