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 not playing a game. It is raining. Sarah is playing a game or Patricia is a poet. It is cloudy.
Patricia is a poet can be inferred via the disjunctive syllogism rule. Sarah is not playing a game and it is raining can be inferred via the conjunction rule. Sarah is not playing a game and it is cloudy can be inferred via the conjunction rule. It is raining and Sarah is not playing a game can be inferred via the conjunction rule. It is raining and it is cloudy can be inferred via the conjunction rule. It is cloudy and Sarah is not playing a game can be inferred via the conjunction rule. It is cloudy and it is raining can be inferred via the conjunction rule.