With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Jason is the child of Mary. Nancy is the child of Mary. Emma is the child of Mary. William is the child of Mary. Charles is the child of Mary.
text_B: Mary has atleast 5 children.
entailment.