With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Heather is the child of Mark. Richard is the child of Mark. Susan is the child of Mark. Ray is the child of Mark. Lisa is the child of Mark.
text_B: Mark has only 4 children.
contradiction.