Consider the following premises. Charles is driving a car. For all x_11, x_11 is an artist and x_11 will drink water. Can we infer the following from them? If we can, name the inference rule being used: Barbara is an artist and Charles is driving a car.
 From the fact that for all x_11, x_11 is an artist and x_11 will drink water we can infer that Barbara is an artist and Barbara is drinking water via universal instantiation. From the fact that Barbara is an artist and Barbara is drinking water we can infer that Barbara is an artist via simplification. Finally, from the fact that Barbara is an artist, and that Charles is driving a car we can infer that Barbara is an artist and Charles is driving a car via conjunction. Therefore, the answer is yes.