With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Barbara is the child of Chris. Sally is the child of Chris. Tim is the child of Chris. Kathy is the child of Chris. Charles is the child of Chris.
text_B: Chris has only 3 children.
contradiction.