What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? For all x_12, if x_12 were an artist, then x_12 is playing tennis. If Susan plays tennis, then Jessica is not listening to a song. Jessica is listening to a song. If Susan plays tennis, then Susan is an artist.
Susan is not playing tennis.