Consider the following premises. If it is cold, then it is cloudy. It is cold. It is not cloudy or Sarah is a poet. Can we infer the following from them? If we can, name the inference rule being used: Michael is an artist or Sarah is a poet.
 From the fact that if it is cold, then it is cloudy, and that it is cold we can infer that it is cloudy via modus ponens. From the fact that it is cloudy we can infer that it is cloudy or Michael is an artist via addition. Finally, from the fact that it is cloudy or Michael is an artist, and that it is not cloudy or Sarah is a poet we can infer that Michael is an artist or Sarah is a poet via resolution. Therefore, the answer is yes.