What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Michael cooks, then Joseph is listening to a song. If Joseph listens to a song, then Michael is cooking. If Michael cooks, then it is snowing.
If Joseph listens to a song, then it is snowing. Michael is cooking if and only if Joseph is listening to a song. Joseph is listening to a song if and only if Michael is cooking.