With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Sally, Stephen, Martin, Judith and Angela are from Canada, Finland, Iran, Iraq and Mexico respectively.
text_B: Stephen is from Finland.
entailment.