With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Sally is the child of Mike. Jeff is the child of Mike. Ray is the child of Mike. Jennifer is the child of Mike. Victoria is the child of Mike.
text_B: Mike has atleast 5 children.
entailment.