With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Alfred is the child of Caroline. Cynthia is the child of Caroline. Dorothy is the child of Caroline. Annie is the child of Caroline. Johnny is the child of Caroline.
text_B: Caroline has atleast 5 children.
entailment.