What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Name the inference rule being used: If Jessica reads a book, then John is not an artist. Michael is not listening to a song. Michael is listening to a song or John is an artist. If Charles plays squash, then Jessica is reading a book.
If Charles plays squash, then John is not an artist can be inferred via the transitivity rule. John is an artist can be inferred via the disjunctive syllogism rule.