With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Simon is the child of Marie. Philip is the child of Marie. Dick is the child of Marie. Steve is the child of Marie. Virginia is the child of Marie.
text_B: Marie has atleast 5 children.
entailment.