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