With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Katie is the child of Alison. Dorothy is the child of Alison. Michael is the child of Alison. Bob is the child of Alison. Stephanie is the child of Alison.
text_B: Alison has only 3 children.
contradiction.