Consider the following premises. For all y_3, y_3 is a janitor and y_3 will sleep. Elisabeth is a poet. Can we infer the following from them? If we can, name the inference rule being used: Elisabeth is a poet and Linda is a janitor.
 From the fact that for all y_3, y_3 is a janitor and y_3 will sleep we can infer that Linda is a janitor and Linda is sleeping via universal instantiation. From the fact that Linda is a janitor and Linda is sleeping we can infer that Linda is a janitor via simplification. Finally, from the fact that Elisabeth is a poet, and that Linda is a janitor we can infer that Elisabeth is a poet and Linda is a janitor via conjunction. Therefore, the answer is yes.