What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is windy. For all x, x is not an office clerk. If Michael were a doctor, then Jennifer is sleeping. Linda is an office clerk or Jennifer is not sleeping.
If Jennifer sleeps, then Linda is an office clerk.