Consider the following premises. If Mary makes tea, then Charles is cooking. For all x_13, if x_13 cooks, then x_13 is a scientist. Michael is not climbing a mountain or Mary is making tea. Michael is climbing a mountain or Joseph is a janitor. If Joseph were a janitor, then Charles is a scientist. Can we infer the following from them? If we can, name the inference rule being used: Charles is a scientist.
 From the fact that for all x_13, if x_13 cooks, then x_13 is a scientist we can infer that if Charles cooks, then Charles is a scientist via universal instantiation. From the fact that if Mary makes tea, then Charles is cooking, and that if Charles cooks, then Charles is a scientist we can infer that if Mary makes tea, then Charles is a scientist via transitivity. From the fact that Michael is climbing a mountain or Joseph is a janitor, and that Michael is not climbing a mountain or Mary is making tea we can infer that Joseph is a janitor or Mary is making tea via resolution. Finally, from the fact that if Joseph were a janitor, then Charles is a scientist, that if Mary makes tea, then Charles is a scientist, and that Joseph is a janitor or Mary is making tea we can infer that Charles is a scientist via disjunction elimination. Therefore, the answer is yes.