What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? James is playing squash and Karen is a poet. If Barbara listens to a song, then David is bored. If James plays squash, then Barbara is listening to a song.
If James plays squash, then David is bored. James is playing squash. Karen is a poet.