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