With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Patrick is the child of Carolyn. Laura is the child of Carolyn. Alan is the child of Carolyn. Hugh is the child of Carolyn. Arthur is the child of Carolyn.
text_B: Carolyn has atleast 5 children.
entailment.