What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? For all z_2, z_2 is a writer if and only if z_2 will work. If Michael were a writer, then it is windy. It is windy if and only if Michael is working.
If it is windy, then Michael is working. If Michael works, then it is windy. For all z_2, if z_2 were a writer, then z_2 is working. For all z_2, if z_2 works, then z_2 is a writer.