Consider the following premises. Patricia is rich if and only if James is a bartender. For all x_9, x_9 is a doctor. James is not a bartender. Can we infer the following from them? If we can, name the inference rule being used: If Patricia were not rich, then David is a doctor.
We cannot infer that from the premises. Therefore the answer is no.