Consider the following premises. James is a janitor. William is playing a game. For all x_14, if x_14 were a janitor, then x_14 is working. Can we infer the following from them? James is working and William is playing a game.
 From the fact that for all x_14, if x_14 were a janitor, then x_14 is working we can infer that if James were a janitor, then James is working. From the fact that if James were a janitor, then James is working, and that James is a janitor we can infer that James is working. Finally, from the fact that James is working, and that William is playing a game we can infer that James is working and William is playing a game. Therefore, the answer is yes.