Consider the following premises. For all z, z is a poet or z is not an electrician. For all z, if z were a poet, then z is running. For all z, if z goes running, then z is an electrician. Can we infer the following from them? If Michael were an electrician, then Michael is a poet.
 From the fact that for all z, if z were a poet, then z is running, and that for all z, if z goes running, then z is an electrician we can infer that for all z, if z were a poet, then z is an electrician. From the fact that for all z, z is a poet or z is not an electrician we can infer that for all z, if z were an electrician, then z is a poet. From the fact that for all z, if z were a poet, then z is an electrician, and that for all z, if z were an electrician, then z is a poet we can infer that for all z, z is a poet if and only if z is an electrician. From the fact that for all z, z is a poet if and only if z is an electrician we can infer that Michael is a poet if and only if Michael is an electrician. Finally, from the fact that Michael is a poet if and only if Michael is an electrician we can infer that if Michael were an electrician, then Michael is a poet. Therefore, the answer is yes.