Consider the following premises. For all z_4, if z_4 makes tea, then z_4 is working. Linda is reading a book. John is not working. For all z_4, if z_4 works, then z_4 is making tea. Can we infer the following from them? Linda is reading a book and John is not making tea.
 From the fact that for all z_4, if z_4 makes tea, then z_4 is working, and that for all z_4, if z_4 works, then z_4 is making tea we can infer that for all z_4, z_4 will make tea if and only if z_4 will work. From the fact that for all z_4, z_4 will make tea if and only if z_4 will work we can infer that John is making tea if and only if John is working. From the fact that John is making tea if and only if John is working, and that John is not working we can infer that John is not making tea. Finally, from the fact that Linda is reading a book, and that John is not making tea we can infer that Linda is reading a book and John is not making tea. Therefore, the answer is yes.