Consider the following premises. For all y, if y were a server, then y is an office clerk. For all y, y is not an office clerk. There is at least one y for which y is bored. For all y, y is a server or y is an astronaut. Can we infer the following from them? There is at least one y for which y is an astronaut.
 From the fact that for all y, if y were a server, then y is an office clerk, and that for all y, y is not an office clerk we can infer that for all y, y is not a server. From the fact that for all y, y is a server or y is an astronaut, and that for all y, y is not a server we can infer that for all y, y is an astronaut. From the fact that for all y, y is an astronaut, and that there is at least one y for which y is bored we can infer that there is at least one y for which y is an astronaut and y is bored. Finally, from the fact that there is at least one y for which y is an astronaut and y is bored we can infer that there is at least one y for which y is an astronaut. Therefore, the answer is yes.