What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Linda is running if and only if Karen is working. For all z, z will not work.
If Linda goes running, then Karen is working. If Karen works, then Linda is running.