With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Charlie is the child of Martin. Andrea is the child of Martin. Emma is the child of Martin. Colin is the child of Martin. Caroline is the child of Martin.
text_B: Martin has only 4 children.
contradiction.