Consider the following premises. If it is sunny, then David is playing squash. It is cold if and only if David is playing squash. David is not playing squash or Susan is a taxi driver. It is sunny or it is cold. Can we infer the following from them? If we can, name the inference rule being used: It is overcast or Susan is a taxi driver.
 From the fact that it is cold if and only if David is playing squash we can infer that if it is cold, then David is playing squash via biconditional elimination. From the fact that if it is sunny, then David is playing squash, that if it is cold, then David is playing squash, and that it is sunny or it is cold we can infer that David is playing squash via disjunction elimination. From the fact that David is playing squash we can infer that David is playing squash or it is overcast via addition. Finally, from the fact that David is playing squash or it is overcast, and that David is not playing squash or Susan is a taxi driver we can infer that it is overcast or Susan is a taxi driver via resolution. Therefore, the answer is yes.