With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Walter is the child of Claire. Samuel is the child of Claire. Sophie is the child of Claire. Michelle is the child of Claire. Martin is the child of Claire.
text_B: Claire has only 4 children.
contradiction.