With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Philip is the child of Al. Harriet is the child of Al. Claire is the child of Al. Anne is the child of Al.
text_B: Al has only 3 children.
contradiction.