Consider the following premises. If Thomas were an electrician, then Richard is a poet. Sarah is not playing squash or John is cooking. Sarah is playing squash or Thomas is an electrician. Richard is a poet if and only if John is cooking. Can we infer the following from them? If we can, name the inference rule being used: Richard is a poet.
 From the fact that Sarah is playing squash or Thomas is an electrician, and that Sarah is not playing squash or John is cooking we can infer that Thomas is an electrician or John is cooking via resolution. From the fact that Richard is a poet if and only if John is cooking we can infer that if John cooks, then Richard is a poet via biconditional elimination. Finally, from the fact that if Thomas were an electrician, then Richard is a poet, that if John cooks, then Richard is a poet, and that Thomas is an electrician or John is cooking we can infer that Richard is a poet via disjunction elimination. Therefore, the answer is yes.