With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Peter is the child of Nick. Carolyn is the child of Nick.
text_B: Nick has only 0 children.
contradiction.