Consider the following premises. If it is overcast, then Sarah is making tea. If Michael were a nurse, then it is overcast. Michael is a nurse if and only if Sarah is making tea. Can we infer the following from them? If we can, name the inference rule being used: If Michael were a nurse, then Sarah is making tea.
 From the fact that Michael is a nurse if and only if Sarah is making tea we can infer that if Sarah makes tea, then Michael is a nurse via biconditional elimination. Finally, from the fact that if Michael were a nurse, then it is overcast, and that if it is overcast, then Sarah is making tea we can infer that if Michael were a nurse, then Sarah is making tea via transitivity. Therefore, the answer is yes.