Consider the following premises. Jennifer is an electrician if and only if Michael is a lawyer. For all x_13, x_13 will make tea if and only if x_13 is a lawyer. Jennifer is an electrician or Michael is making tea. Can we infer the following from them? If we can, name the inference rule being used: Michael is a lawyer.
 From the fact that for all x_13, x_13 will make tea if and only if x_13 is a lawyer we can infer that for all x_13, if x_13 makes tea, then x_13 is a lawyer via universal biconditional elimination. From the fact that for all x_13, if x_13 makes tea, then x_13 is a lawyer we can infer that if Michael makes tea, then Michael is a lawyer via universal instantiation. From the fact that Jennifer is an electrician if and only if Michael is a lawyer we can infer that if Jennifer were an electrician, then Michael is a lawyer via biconditional elimination. Finally, from the fact that if Jennifer were an electrician, then Michael is a lawyer, that if Michael makes tea, then Michael is a lawyer, and that Jennifer is an electrician or Michael is making tea we can infer that Michael is a lawyer via disjunction elimination. Therefore, the answer is yes.