Consider the following premises. If Sarah were a nurse, then Patricia is an office clerk. If it is windy, then Sarah is a nurse. If Jennifer drives a car, then Patricia is an office clerk. Susan is working or Jennifer is driving a car. It is windy or Susan is not working. Can we infer the following from them? If we can, name the inference rule being used: Patricia is not an office clerk.
 From the fact that it is windy or Susan is not working we can infer that if Susan works, then it is windy via rewriting. From the fact that if Susan works, then it is windy, and that if it is windy, then Sarah is a nurse we can infer that if Susan works, then Sarah is a nurse via transitivity. From the fact that if Susan works, then Sarah is a nurse, and that if Sarah were a nurse, then Patricia is an office clerk we can infer that if Susan works, then Patricia is an office clerk via transitivity. Finally, from the fact that if Susan works, then Patricia is an office clerk, that if Jennifer drives a car, then Patricia is an office clerk, and that Susan is working or Jennifer is driving a car we can infer that Patricia is an office clerk via disjunction elimination, which contradicts that Patricia is not an office clerk. Therefore, the answer is no.