With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Mark is the child of Lisa. Charlie is the child of Lisa. Larry is the child of Lisa. Deborah is the child of Lisa. Virginia is the child of Lisa.
text_B: Lisa has only 4 children.
contradiction.