Consider the following premises. For all x_15, if x_15 were a politician, then x_15 is playing a game. For all x_15, if x_15 plays a game, then x_15 is a politician. Patricia is a politician. Patricia is not playing a game. Can we infer the following from them? Jennifer is a server.
 From the fact that for all x_15, if x_15 were a politician, then x_15 is playing a game, and that for all x_15, if x_15 plays a game, then x_15 is a politician we can infer that for all x_15, x_15 is a politician if and only if x_15 will play a game. From the fact that for all x_15, x_15 is a politician if and only if x_15 will play a game we can infer that Patricia is a politician if and only if Patricia is playing a game. From the fact that Patricia is a politician if and only if Patricia is playing a game, and that Patricia is not playing a game we can infer that Patricia is not a politician. From the fact that Patricia is not a politician we can infer that Patricia is not a politician or Jennifer is a server. Finally, from the fact that Patricia is not a politician or Jennifer is a server, and that Patricia is a politician we can infer that Jennifer is a server. Therefore, the answer is yes. Notice, however, that the premises were contradictory, so we can infer anything from them.