Consider the following premises. Elisabeth is not a janitor. For all z_3, z_3 is a poet or z_3 is not a janitor. For all z_3, if z_3 were a poet, then z_3 is a janitor. Can we infer the following from them? For all z_3, if z_3 were a poet, then z_3 is a janitor.
That is one of the premises. Therefore, the answer is yes.