Consider the following premises. Robert is bored if and only if Linda is rich. Linda is not rich. If Barbara cooks, then Robert is bored. It is windy if and only if Barbara is cooking. Can we infer the following from them? If we can, name the inference rule being used: It is not windy or John is playing squash.
 From the fact that Robert is bored if and only if Linda is rich, and that Linda is not rich we can infer that Robert is not bored via biconditional elimination. From the fact that if Barbara cooks, then Robert is bored, and that Robert is not bored we can infer that Barbara is not cooking via modus tollens. From the fact that it is windy if and only if Barbara is cooking, and that Barbara is not cooking we can infer that it is not windy via biconditional elimination. Finally, from the fact that it is not windy we can infer that it is not windy or John is playing squash via addition. Therefore, the answer is yes.