With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: He was named to an entry for the 1996 Indianapolis 500, but the car failed to appear.
text_B: the car failed to appear.
entailment.