With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Sarah is the child of Paul. Andrew is the child of Paul. Mike is the child of Paul.
text_B: Paul has atleast 3 children.
entailment.