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: Jessica is not a soldier. Jennifer is listening to a song. Jessica is a soldier or Sarah is not an artist.
Sarah is not an artist can be inferred via the disjunctive syllogism rule. Jessica is not a soldier and Jennifer is listening to a song can be inferred via the conjunction rule. Jennifer is listening to a song and Jessica is not a soldier can be inferred via the conjunction rule. If Sarah were an artist, then Jessica is a soldier can be inferred via the rewriting rule.