With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Donna, Alan, Ralph, Dave and Steve are from France, Belarus, South Korea, Canada and New Zealand respectively.
text_B: Alan is from South Korea.
contradiction.