With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: William was born in 2011 and David was born in 2016.
text_B: David was born after William.
entailment.