What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? For all z_1, z_1 will play tennis or z_1 will not write a letter. For all z_1, z_1 is a poet if and only if z_1 is excited. There is at least one z_1 for which if z_1 plays tennis, then z_1 is a poet.
For all z_1, if z_1 writes a letter, then z_1 is playing tennis. For all z_1, if z_1 were a poet, then z_1 is excited. For all z_1, if z_1 were excited, then z_1 is a poet.