Consider the following premises. John is not a soldier. Charles is a mechanic. If Charles were a mechanic, then Sarah is a musician. John is a soldier if and only if Richard is a carpenter. Can we infer the following from them? If we can, name the inference rule being used: Sarah is a musician.
We can infer this via the modus ponens rule. Therefore, the answer is yes.