With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Christopher, Catherine and Johnny are from North Korea, Chile and United Kingdom respectively.
text_B: Catherine is from United Kingdom.
contradiction.