With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Frances is the child of Robert. Matthew is the child of Robert. Dave is the child of Robert. Nick is the child of Robert. Daniel is the child of Robert.
text_B: Robert has only 4 children.
contradiction.