With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Roy, Annie, Johnny, Simon and Lawrence are from Taiwan, United States of America, Singapore, New Zealand and Vietnam respectively.
text_B: Roy is from United States of America.
contradiction.