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: Richard is sleeping or Linda is climbing a mountain. Richard is not sleeping or Susan is writing a letter. Linda is not climbing a mountain. Patricia is driving a car.
Linda is not climbing a mountain and Patricia is driving a car can be inferred via the conjunction rule. Patricia is driving a car and Linda is not climbing a mountain can be inferred via the conjunction rule. Linda is climbing a mountain or Susan is writing a letter can be inferred via the resolution rule.