With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Henry was born in 2013 and Laura was born in 1992.
text_B: Laura is younger than Henry.
contradiction.