With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Ed, Carl, Harriet, Steve and Diane are from Denmark, Japan, North Korea, Portugal and Israel respectively.
text_B: Diane is from Denmark.
contradiction.