With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Mike is the child of Sally. John is the child of Sally. Amanda is the child of Sally. Dick is the child of Sally. Charles is the child of Sally.
text_B: Sally has atleast 5 children.
entailment.