With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Matt is the child of Lucy. Greg is the child of Lucy. Alan is the child of Lucy. Lauren is the child of Lucy. Ben is the child of Lucy.
text_B: Lucy has atleast 5 children.
entailment.