Consider the following premises. For all z_2, z_2 is sad or z_2 will not work. For all z_2, z_2 will work or z_2 is not sad. Can we infer the following from them? The fact that Linda works does not imply that Linda is sad.
That contradicts the premises. Therefore the answer is no.