What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Michael plays a game, then Richard is not playing squash. Joseph is an electrician if and only if Michael is playing a game. Richard is playing squash. It is cold if and only if Joseph is an electrician.
Michael is not playing a game. If Joseph were an electrician, then Michael is playing a game. If it is cold, then Joseph is an electrician. If Michael plays a game, then Joseph is an electrician. If Joseph were an electrician, then it is cold.