With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Edward is the child of John. Hugh is the child of John. Alexandra is the child of John. Richard is the child of John. Catherine is the child of John.
text_B: John has only 4 children.
contradiction.