Consider the following premises. For all x, if x were happy, then x is playing a game. If Jennifer works, then Jennifer is playing a game. Jennifer is working or Jennifer is happy. Can we infer the following from them? Jennifer is not playing a game.
 From the fact that for all x, if x were happy, then x is playing a game we can infer that if Jennifer were happy, then Jennifer is playing a game. Finally, from the fact that if Jennifer works, then Jennifer is playing a game, that if Jennifer were happy, then Jennifer is playing a game, and that Jennifer is working or Jennifer is happy we can infer that Jennifer is playing a game, which contradicts that Jennifer is not playing a game. Therefore, the answer is no.