With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Alfred is the child of Charlie. Sophie is the child of Charlie. Janet is the child of Charlie. Colin is the child of Charlie. Joan is the child of Charlie.
text_B: Charlie has only 3 children.
contradiction.