With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Arthur is the child of Charles. Jimmy is the child of Charles. Ashley is the child of Charles. Dave is the child of Charles. Emma is the child of Charles.
text_B: Charles has only 0 children.
contradiction.