What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Richard is listening to a song or Patricia is not curious. If James were a poet, then Patricia is curious.
If Patricia were curious, then Richard is listening to a song.