Consider the following premises. Michael is playing squash if and only if Jennifer is playing tennis. Linda is a police officer or Jennifer is not playing tennis. Jessica is happy if and only if Michael is playing squash. If Linda were a police officer, then Jennifer is playing tennis. Jessica is not happy. Can we infer the following from them? If we can, name the inference rule being used: Linda is not a police officer.
 From the fact that Jessica is happy if and only if Michael is playing squash, and that Jessica is not happy we can infer that Michael is not playing squash via biconditional elimination. From the fact that Michael is playing squash if and only if Jennifer is playing tennis, and that Michael is not playing squash we can infer that Jennifer is not playing tennis via biconditional elimination. From the fact that Linda is a police officer or Jennifer is not playing tennis we can infer that if Jennifer plays tennis, then Linda is a police officer via rewriting. From the fact that if Jennifer plays tennis, then Linda is a police officer, and that if Linda were a police officer, then Jennifer is playing tennis we can infer that Jennifer is playing tennis if and only if Linda is a police officer via biconditional introduction. Finally, from the fact that Jennifer is playing tennis if and only if Linda is a police officer, and that Jennifer is not playing tennis we can infer that Linda is not a police officer via biconditional elimination. Therefore, the answer is yes.