What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Robert is running. Karen is not a janitor. Karen is a janitor if and only if John is an electrician. If Robert goes running, then Charles is a sailor.
Charles is a sailor. Robert is running and Karen is not a janitor. Karen is not a janitor and Robert is running. If Karen were a janitor, then John is an electrician. If John were an electrician, then Karen is a janitor. John is not an electrician.