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: Linda is not driving a car. Linda is driving a car or Patricia is an office clerk. James is writing a letter.
Patricia is an office clerk can be inferred via the disjunctive syllogism rule. Linda is not driving a car and James is writing a letter can be inferred via the conjunction rule. James is writing a letter and Linda is not driving a car can be inferred via the conjunction rule.