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: Joseph is poor. Michael is not a nurse. Patricia is taking a plane. Michael is a nurse or James is working.
James is working can be inferred via the disjunctive syllogism rule. Joseph is poor and Michael is not a nurse can be inferred via the conjunction rule. Joseph is poor and Patricia is taking a plane can be inferred via the conjunction rule. Michael is not a nurse and Joseph is poor can be inferred via the conjunction rule. Michael is not a nurse and Patricia is taking a plane can be inferred via the conjunction rule. Patricia is taking a plane and Joseph is poor can be inferred via the conjunction rule. Patricia is taking a plane and Michael is not a nurse can be inferred via the conjunction rule.