Consider the following premises. For all z_3, if z_3 were an electrician, then z_3 is working. There is at least one z_3 for which z_3 is an electrician or z_3 will not work. Can we infer the following from them? For all z_3, the fact that z_3 works does not imply that z_3 is an electrician.
That contradicts the premises. Therefore the answer is no.