With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Christopher is the child of Dorothy. Jill is the child of Dorothy. Fiona is the child of Dorothy. William is the child of Dorothy. Amy is the child of Dorothy.
text_B: Dorothy has atleast 5 children.
entailment.