Consider the following premises. It is late if and only if Elisabeth is making tea. Sarah is a lawyer if and only if Elisabeth is making tea. It is not late. Can we infer the following from them? If we can, name the inference rule being used: Sarah is not a lawyer.
 From the fact that Sarah is a lawyer if and only if Elisabeth is making tea we can infer that if Sarah were a lawyer, then Elisabeth is making tea via biconditional elimination. From the fact that it is late if and only if Elisabeth is making tea, and that it is not late we can infer that Elisabeth is not making tea via biconditional elimination. Finally, from the fact that if Sarah were a lawyer, then Elisabeth is making tea, and that Elisabeth is not making tea we can infer that Sarah is not a lawyer via modus tollens. Therefore, the answer is yes.