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