With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Ian, Patrick, Edward, Diana and Sara are the only children of David.
text_B: David has exactly 3 children.
contradiction.