With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: David is the child of Ann. Joan is the child of Ann. Ben is the child of Ann. Michelle is the child of Ann. Benjamin is the child of Ann.
text_B: Ann has atleast 5 children.
entailment.