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