Consider the following premises. Elisabeth is a writer and it is overcast. If Mary were a musician, then John is an electrician. Mary is a musician. Can we infer the following from them? If we can, name the inference rule being used: John is an electrician.
We can infer this via the modus ponens rule. Therefore, the answer is yes.