With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Robin is the child of Judy. Anne is the child of Judy. Greg is the child of Judy. John is the child of Judy.
text_B: Judy has only 3 children.
contradiction.