With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: William is the child of Al. Arthur is the child of Al. Lisa is the child of Al. Alexander is the child of Al. Kathy is the child of Al.
text_B: Al has only 0 children.
contradiction.