What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? For all z_4, z_4 is not poor. If Joseph drives a car, then Susan is a janitor. Joseph is poor if and only if Susan is a janitor.
If Joseph were poor, then Susan is a janitor. If Susan were a janitor, then Joseph is poor.