With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Stephanie, Arthur, Janet and Kelly are from Libya, North Korea, Nepal and Malaysia respectively.
text_B: Stephanie is from North Korea.
contradiction.