Consider the following premises. Michael is not an artist. If it is not sunny, then Charles is taking a plane. William is an astronaut. If it is sunny, then Michael is an artist. Can we infer the following from them? If we can, name the inference rule being used: William is an astronaut and Charles is taking a plane.
 From the fact that if it is sunny, then Michael is an artist, and that Michael is not an artist we can infer that it is not sunny via modus tollens. From the fact that if it is not sunny, then Charles is taking a plane, and that it is not sunny we can infer that Charles is taking a plane via modus ponens. Finally, from the fact that William is an astronaut, and that Charles is taking a plane we can infer that William is an astronaut and Charles is taking a plane via conjunction. Therefore, the answer is yes.