With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Emily is the child of Roy. Thomas is the child of Roy. Mary is the child of Roy. Anne is the child of Roy. David is the child of Roy.
text_B: Roy has only 2 children.
contradiction.