What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is sunny. It is raining or Susan is not listening to a song. If it is sunny, then it is cloudy. Susan is listening to a song.
It is cloudy. It is sunny and Susan is listening to a song. Susan is listening to a song and it is sunny. If Susan listens to a song, then it is raining.