Consider the following premises. If it is cloudy, then Richard is a server. For all z, z is a musician. If it snows, then Richard is a server. It is snowing or it is cloudy. Can we infer the following from them? If we can, name the inference rule being used: Barbara is a musician.
We can infer this via the universal instantiation rule. Therefore, the answer is yes.