What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Jessica plays tennis, then Richard is driving a car. If Charles drinks water, then Richard is not driving a car. Jessica is playing tennis. Richard is sleeping and Karen is listening to a song.
Richard is driving a car. Richard is sleeping. Karen is listening to a song.