Consider the following premises. For all z_3, if z_3 goes running, then z_3 is reading a book. There is at least one z_3 for which if z_3 reads a book, then z_3 is running. For all z_3, if z_3 were happy, then z_3 is running. For all z_3, if z_3 goes running, then z_3 is happy. Can we infer the following from them? For all z_3, the fact that z_3 were happy does not imply that z_3 is reading a book.
That contradicts the premises. Therefore the answer is no.