What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? John is a writer or Barbara is rich. If it is sunny, then Barbara is sleeping. For all z_3, z_3 is rich if and only if z_3 will sleep. If John were a writer, then it is sunny.
If John were a writer, then Barbara is sleeping. If Barbara goes running, then John is a writer. For all z_3, if z_3 were rich, then z_3 is sleeping. For all z_3, if z_3 sleeps, then z_3 is rich.