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: Sarah is curious or Jessica is writing a letter. If James listens to a song, then it is sunny. Sarah is not curious. James is listening to a song.
It is sunny can be inferred via the modus ponens rule. Jessica is writing a letter can be inferred via the disjunctive syllogism rule. Sarah is not curious and James is listening to a song can be inferred via the conjunction rule. James is listening to a song and Sarah is not curious can be inferred via the conjunction rule.