Consider the following premises. Karen is cooking if and only if Joseph is driving a car. If Susan plays tennis, then Joseph is driving a car. Karen is not cooking. Susan is playing tennis or Joseph is not driving a car. Can we infer the following from them? If we can, name the inference rule being used: Susan is not playing tennis.
 From the fact that Susan is playing tennis or Joseph is not driving a car we can infer that if Joseph drives a car, then Susan is playing tennis via rewriting. From the fact that Karen is cooking if and only if Joseph is driving a car, and that Karen is not cooking we can infer that Joseph is not driving a car via biconditional elimination. From the fact that if Joseph drives a car, then Susan is playing tennis, and that if Susan plays tennis, then Joseph is driving a car we can infer that Joseph is driving a car if and only if Susan is playing tennis via biconditional introduction. Finally, from the fact that Joseph is driving a car if and only if Susan is playing tennis, and that Joseph is not driving a car we can infer that Susan is not playing tennis via biconditional elimination. Therefore, the answer is yes.