Consider the following premises. For all z, if z were a server, then z is curious. For all z, z is curious. For all z, if z were curious, then z is a server. There is at least one z for which z is not a server. Can we infer the following from them? There is at least one z for which z will play a game.
 From the fact that for all z, if z were a server, then z is curious, and that for all z, if z were curious, then z is a server we can infer that for all z, z is a server if and only if z is curious. From the fact that for all z, z is curious we can infer that for all z, z is curious or z will play a game. From the fact that for all z, z is a server if and only if z is curious, and that there is at least one z for which z is not a server we can infer that there is at least one z for which z is not curious. Finally, from the fact that for all z, z is curious or z will play a game, and that there is at least one z for which z is not curious we can infer that there is at least one z for which z will play a game. Therefore, the answer is yes. Notice, however, that the premises were contradictory, so we can infer anything from them.