Consider the following premises. If Sarah plays a game, then it is windy. If it is windy, then it is overcast. Sarah is playing a game if and only if it is overcast. Can we infer the following from them? If we can, name the inference rule being used: If it is overcast, then it is windy.
 From the fact that Sarah is playing a game if and only if it is overcast we can infer that if it is overcast, then Sarah is playing a game via biconditional elimination. Finally, from the fact that if it is overcast, then Sarah is playing a game, and that if Sarah plays a game, then it is windy we can infer that if it is overcast, then it is windy via transitivity. Therefore, the answer is yes.