Consider the following premises. If Michael sleeps, then Joseph is curious. If Joseph were curious, then Richard is making tea. If it is cold, then Joseph is curious. It is cold or Michael is sleeping. Can we infer the following from them? If we can, name the inference rule being used: Richard is not making tea.
 From the fact that if it is cold, then Joseph is curious, that if Michael sleeps, then Joseph is curious, and that it is cold or Michael is sleeping we can infer that Joseph is curious via disjunction elimination. Finally, from the fact that if Joseph were curious, then Richard is making tea, and that Joseph is curious we can infer that Richard is making tea via modus ponens, which contradicts that Richard is not making tea. Therefore, the answer is no.