Consider the following premises. For all x_16, if x_16 plays a game, then x_16 is an astronaut. For all x_16, if x_16 were a writer, then x_16 is an astronaut. For all x_16, x_16 will not play tennis. For all x_16, if x_16 were an astronaut, then x_16 is playing tennis. There is at least one x_16 for which x_16 will play a game or x_16 is a writer. Can we infer the following from them? There is at least one x_16 for which x_16 is a nurse.
 From the fact that for all x_16, if x_16 plays a game, then x_16 is an astronaut, that for all x_16, if x_16 were a writer, then x_16 is an astronaut, and that there is at least one x_16 for which x_16 will play a game or x_16 is a writer we can infer that there is at least one x_16 for which x_16 is an astronaut. From the fact that there is at least one x_16 for which x_16 is an astronaut we can infer that there is at least one x_16 for which x_16 is an astronaut or x_16 is a nurse. From the fact that for all x_16, if x_16 were an astronaut, then x_16 is playing tennis, and that for all x_16, x_16 will not play tennis we can infer that for all x_16, x_16 is not an astronaut. Finally, from the fact that there is at least one x_16 for which x_16 is an astronaut or x_16 is a nurse, and that for all x_16, x_16 is not an astronaut we can infer that there is at least one x_16 for which x_16 is a nurse. Therefore, the answer is yes. Notice, however, that the premises were contradictory, so we can infer anything from them.