With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: John is the child of Donna. Robert is the child of Donna. Martin is the child of Donna. Kathleen is the child of Donna. Grace is the child of Donna.
text_B: Donna has atleast 5 children.
entailment.