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