Consider the following premises. Jessica is a sailor or James is taking a plane. If Jessica were a sailor, then Linda is sad. Mary is a janitor if and only if Linda is sad. Mary is not a janitor. Can we infer the following from them? If we can, name the inference rule being used: James is taking a plane.
 From the fact that Mary is a janitor if and only if Linda is sad, and that Mary is not a janitor we can infer that Linda is not sad via biconditional elimination. From the fact that if Jessica were a sailor, then Linda is sad, and that Linda is not sad we can infer that Jessica is not a sailor via modus tollens. Finally, from the fact that Jessica is a sailor or James is taking a plane, and that Jessica is not a sailor we can infer that James is taking a plane via disjunctive syllogism. Therefore, the answer is yes.