Consider the following premises. If Jennifer plays a game, then it is raining. It is not raining. It is raining if and only if Jennifer is playing a game. Can we infer the following from them? Jennifer is not playing a game.
 From the fact that it is raining if and only if Jennifer is playing a game we can infer that if it rains, then Jennifer is playing a game. From the fact that if it rains, then Jennifer is playing a game, and that if Jennifer plays a game, then it is raining we can infer that it is raining if and only if Jennifer is playing a game. Finally, from the fact that it is raining if and only if Jennifer is playing a game, and that it is not raining we can infer that Jennifer is not playing a game. Therefore, the answer is yes.