What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Susan plays tennis, then Sarah is sleeping. Sarah is not sleeping. Susan is playing tennis or Sarah is not sleeping. Susan is not playing a game or Susan is running. Susan is playing a game or Susan is playing tennis.
Susan is not playing tennis. Susan is playing tennis or Susan is running. If Sarah sleeps, then Susan is playing tennis.