What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If it is late, then it is cloudy. James is an artist if and only if it is cloudy. If James were an artist, then Thomas is not listening to a song. Thomas is listening to a song.
James is not an artist. If James were an artist, then it is cloudy. If it is cloudy, then James is an artist.