With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Bobby is the child of Mark. Pamela is the child of Mark. Florence is the child of Mark. Ruth is the child of Mark. Eleanor is the child of Mark.
text_B: Mark has atleast 5 children.
entailment.