Consider the following premises. Mary is playing a game if and only if it is raining. Mary is playing a game if and only if it is raining. Can we infer the following from them? If it rains, then Mary is playing a game.
Yes.