With no explanation, label text_A→text_B with either "entailment", "neutral" or "contradiction".
text_A: Mahut played alongside Pierre-Hugues Herbert, but lost in the semifinals to Ivan Dodig and Marcel Granollers.
text_B: Mahut played alongside Pierre-Hugues Herbert, but lost in the semifinals to Nimaathap and Marcel Granollers.
contradiction.