With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Lauren, Joan and Frederick are from North Korea, Vietnam and Russia respectively.
text_B: Frederick is from North Korea.
contradiction.