Consider the following premises. For all x, if x takes a plane, then x is an office clerk. For all x, if x were an office clerk, then x is reading a book. For all x, if x reads a book, then x is an electrician. There is at least one x for which if x were bored, then x is taking a plane. Can we infer the following from them? There is at least one x for which if x were bored, then x is an electrician.
 From the fact that for all x, if x takes a plane, then x is an office clerk, and that for all x, if x were an office clerk, then x is reading a book we can infer that for all x, if x takes a plane, then x is reading a book. From the fact that for all x, if x takes a plane, then x is reading a book, and that for all x, if x reads a book, then x is an electrician we can infer that for all x, if x takes a plane, then x is an electrician. Finally, from the fact that there is at least one x for which if x were bored, then x is taking a plane, and that for all x, if x takes a plane, then x is an electrician we can infer that there is at least one x for which if x were bored, then x is an electrician. Therefore, the answer is yes.