With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: He was the Republican nominee for Chief Financial Officer of Florida in 2006, but lost to Democratic nominee Alex Sink.
text_B: He was the Republican nominee for Chief Financial Officer of Florida in 2007, but lost to Democratic nominee Alex Sink.
contradiction.