Consider the following premises. If Jessica were an electrician, then Michael is a poet. For all x_15, x_15 will not take a plane. If it is cold, then Michael is taking a plane. It is cold if and only if Jessica is an electrician. If Michael were a poet, then Jessica is an electrician. Can we infer the following from them? If we can, name the inference rule being used: Michael is a poet.
 From the fact that if Jessica were an electrician, then Michael is a poet, and that if Michael were a poet, then Jessica is an electrician we can infer that Jessica is an electrician if and only if Michael is a poet via biconditional introduction. From the fact that for all x_15, x_15 will not take a plane we can infer that Michael is not taking a plane via universal instantiation. From the fact that if it is cold, then Michael is taking a plane, and that Michael is not taking a plane we can infer that it is not cold via modus tollens. From the fact that it is cold if and only if Jessica is an electrician, and that it is not cold we can infer that Jessica is not an electrician via biconditional elimination. Finally, from the fact that Jessica is an electrician if and only if Michael is a poet, and that Jessica is not an electrician we can infer that Michael is not a poet via biconditional elimination, which contradicts that Michael is a poet. Therefore, the answer is no.