With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: He enjoyed huge commercial success when he replaced David Lee Roth as the lead singer of Van Halen in 1985, but left the band in 1996.
text_B: He enjoyed huge commercial success left the band in 1996.
entailment.