What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Susan is sleeping or William is not an electrician. If Susan sleeps, then William is an electrician.
If William were an electrician, then Susan is sleeping.