With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Roy, Tim, Henry, Helen and Hugh are from Sweden, Japan, Belgium, Laos and Mexico respectively.
text_B: Henry is from Laos.
contradiction.