With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Margaret is the child of Howard. Patrick is the child of Howard. Johnny is the child of Howard. Michael is the child of Howard. Charlie is the child of Howard.
text_B: Howard has only 4 children.
contradiction.