Consider the following premises. If Jessica makes tea, then Linda is an electrician. For all x_13, if x_13 makes tea, then x_13 is a sailor. For all y, y is not an electrician. For all x_13, if x_13 were a sailor, then x_13 is making tea. Can we infer the following from them? If we can, name the inference rule being used: Jessica is not a sailor.
 From the fact that for all x_13, if x_13 were a sailor, then x_13 is making tea, and that for all x_13, if x_13 makes tea, then x_13 is a sailor we can infer that for all x_13, x_13 is a sailor if and only if x_13 will make tea via universal biconditional introduction. From the fact that for all x_13, x_13 is a sailor if and only if x_13 will make tea we can infer that Jessica is a sailor if and only if Jessica is making tea via universal instantiation. From the fact that for all y, y is not an electrician we can infer that Linda is not an electrician via universal instantiation. From the fact that if Jessica makes tea, then Linda is an electrician, and that Linda is not an electrician we can infer that Jessica is not making tea via modus tollens. Finally, from the fact that Jessica is a sailor if and only if Jessica is making tea, and that Jessica is not making tea we can infer that Jessica is not a sailor via biconditional elimination. Therefore, the answer is yes.