With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: In 1972, McGovern was successful in his campaign for the Democratic presidential nomination, but lost the election in a landslide to incumbent President Richard Nixon.
text_B: In 1972, McGovern was successful in his campaign for the Democratic presidential nomination, but lost the election in a landslide to incumbent President de Provence.
contradiction.