What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Richard is an electrician or Joseph is listening to a song. Michael is poor or Joseph is not listening to a song. If Richard were an electrician, then Michael is poor. It is cold.
If Joseph listens to a song, then Michael is poor.