With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Keith is the child of Carl. Amanda is the child of Carl. Steve is the child of Carl. Laura is the child of Carl. Jennifer is the child of Carl.
text_B: Carl has atleast 5 children.
entailment.