With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Nestor played alongside Vasek Pospisil, but lost in the semifinals to Ivan Dodig and Marcelo Melo.
text_B: Nestor played alongside Clancy, but lost in the semifinals to Ivan Dodig and Marcelo Melo.
contradiction.