Consider the following premises. Michael is a nurse if and only if it is raining. It is raining if and only if Michael is a nurse. Can we infer the following from them? If we can, name the inference rule being used: If it rains, then Michael is a nurse.
We can infer this via the biconditional elimination rule. Therefore, the answer is yes.