Consider the following premises. It is overcast and it is cold. Elisabeth is a server. If Elisabeth were a server, then Charles is running. Can we infer the following from them? If we can, name the inference rule being used: Charles is running and it is overcast.
 From the fact that it is overcast and it is cold we can infer that it is overcast via simplification. From the fact that if Elisabeth were a server, then Charles is running, and that Elisabeth is a server we can infer that Charles is running via modus ponens. Finally, from the fact that Charles is running, and that it is overcast we can infer that Charles is running and it is overcast via conjunction. Therefore, the answer is yes.