Consider the following premises. It is not late or Karen is an office clerk. It is snowing if and only if Charles is playing tennis. It is late or Charles is playing tennis. It is not snowing. Can we infer the following from them? If we can, name the inference rule being used: Karen is not an office clerk.
 From the fact that it is snowing if and only if Charles is playing tennis, and that it is not snowing we can infer that Charles is not playing tennis via biconditional elimination. From the fact that it is late or Charles is playing tennis, and that it is not late or Karen is an office clerk we can infer that Charles is playing tennis or Karen is an office clerk via resolution. Finally, from the fact that Charles is playing tennis or Karen is an office clerk, and that Charles is not playing tennis we can infer that Karen is an office clerk via disjunctive syllogism, which contradicts that Karen is not an office clerk. Therefore, the answer is no.