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