With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: John is the child of Sarah. Martin is the child of Sarah. Harriet is the child of Sarah. Michelle is the child of Sarah. Dorothy is the child of Sarah.
text_B: Sarah has atleast 5 children.
entailment.