premise: Mahut played alongside Pierre-Hugues Herbert, but lost in the semifinals to Ivan Dodig and Marcel Granollers.
hypothesis: Mahut played alongside Pierre-Hugues Herbert, but lost in the semifinals to Nimaathap and Marcel Granollers.