With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Michael, Diana and Walter are from South Korea, Zimbabwe and Russia respectively.
text_B: Diana is from Russia.
contradiction.