With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Ruth is the child of Arthur. Martha is the child of Arthur. Emily is the child of Arthur. Ian is the child of Arthur. Francis is the child of Arthur.
text_B: Arthur has atleast 5 children.
entailment.