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