With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Maria is the child of Ken. Keith is the child of Ken. Diane is the child of Ken. Steven is the child of Ken. Rose is the child of Ken.
text_B: Ken has only 4 children.
contradiction.