With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Sharon was born in 2002 and Carol was born in 1995.
text_B: Sharon was born earlier than Carol.
contradiction.