Consider the following premises. For all x_11, x_11 is an electrician. Susan is sleeping if and only if Joseph is rich. Joseph is not rich. Can we infer the following from them? If we can, name the inference rule being used: Susan is sleeping.
That contradicts the premises. Therefore the answer is no.