With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Bill is the child of Kathy. Evelyn is the child of Kathy. Ray is the child of Kathy. Marie is the child of Kathy. Benjamin is the child of Kathy.
text_B: Kathy has only 4 children.
contradiction.