With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Kevin is the child of Arthur. Thomas is the child of Arthur. Barbara is the child of Arthur. Lisa is the child of Arthur. Donald is the child of Arthur.
text_B: Arthur has only 1 children.
contradiction.