With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Michelle is the child of Anna. Amanda is the child of Anna. Mike is the child of Anna. Betty is the child of Anna.
text_B: Anna has atleast 4 children.
entailment.