Consider the following premises. Mary is climbing a mountain if and only if David is playing a game. David is playing a game or Mary is not climbing a mountain. Can we infer the following from them? Mary is climbing a mountain if and only if David is playing a game.
That is one of the premises. Therefore, the answer is yes.