Consider the following premises. Jessica is not a cashier. If Susan works, then Richard is sleeping. Jessica is a cashier if and only if Richard is sleeping. Linda is a sailor if and only if Michael is taking a plane. If Linda were a sailor, then Susan is working. Can we infer the following from them? If we can, name the inference rule being used: Michael is taking a plane.
 From the fact that if Linda were a sailor, then Susan is working, and that if Susan works, then Richard is sleeping we can infer that if Linda were a sailor, then Richard is sleeping via transitivity. From the fact that Jessica is a cashier if and only if Richard is sleeping, and that Jessica is not a cashier we can infer that Richard is not sleeping via biconditional elimination. From the fact that if Linda were a sailor, then Richard is sleeping, and that Richard is not sleeping we can infer that Linda is not a sailor via modus tollens. Finally, from the fact that Linda is a sailor if and only if Michael is taking a plane, and that Linda is not a sailor we can infer that Michael is not taking a plane via biconditional elimination, which contradicts that Michael is taking a plane. Therefore, the answer is no.