With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Judith, Sara, Arthur, Mark and Ellen are from Libya, Haiti, China, Japan and Bhutan respectively.
text_B: Arthur is from China.
entailment.