With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Michael is the child of Anne. Chris is the child of Anne. Joseph is the child of Anne. Margaret is the child of Anne.
text_B: Anne has atleast 4 children.
entailment.