Consider the following premises. For all y_3, if y_3 were a writer, then y_3 is sleeping. For all y_3, y_3 is a writer. For all y_3, if y_3 sleeps, then y_3 is an electrician. Can we infer the following from them? For all y_3, y_3 is an electrician.
 From the fact that for all y_3, if y_3 were a writer, then y_3 is sleeping, and that for all y_3, if y_3 sleeps, then y_3 is an electrician we can infer that for all y_3, if y_3 were a writer, then y_3 is an electrician. Finally, from the fact that for all y_3, if y_3 were a writer, then y_3 is an electrician, and that for all y_3, y_3 is a writer we can infer that for all y_3, y_3 is an electrician. Therefore, the answer is yes.