With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Anna is the child of Donna. Catherine is the child of Donna. Sandra is the child of Donna. Eric is the child of Donna. David is the child of Donna.
text_B: Donna has only 2 children.
contradiction.