With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Keith, Andrea, Caroline and David are from Singapore, Indonesia, Germany and Australia respectively.
text_B: David is from Australia.
entailment.