What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Jennifer is listening to a song or Richard is not playing squash. John is working if and only if Richard is playing squash.
If Richard plays squash, then Jennifer is listening to a song. If John works, then Richard is playing squash. If Richard plays squash, then John is working.