Consider the following premises. It is sunny if and only if it is overcast. It is overcast or it is not sunny. Can we infer the following from them? If we can, name the inference rule being used: If it is overcast, then it is sunny.
 From the fact that it is overcast or it is not sunny we can infer that if it is sunny, then it is overcast via rewriting. Finally, from the fact that it is sunny if and only if it is overcast we can infer that if it is overcast, then it is sunny via biconditional elimination. Therefore, the answer is yes.