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