With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Edwin is the child of Kathryn. Elaine is the child of Kathryn. Lawrence is the child of Kathryn. Roy is the child of Kathryn. Kim is the child of Kathryn.
text_B: Kathryn has atleast 5 children.
entailment.