With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Ralph is the child of Christine. Diane is the child of Christine. Jimmy is the child of Christine. Harriet is the child of Christine. Francis is the child of Christine.
text_B: Christine has only 4 children.
contradiction.