Consider the following premises. If Jennifer were a police officer, then Elisabeth is curious. Michael is a carpenter or Jennifer is a police officer. Michael is a carpenter if and only if Elisabeth is curious. Can we infer the following from them? If we can, name the inference rule being used: Elisabeth is curious.
 From the fact that Michael is a carpenter if and only if Elisabeth is curious we can infer that if Michael were a carpenter, then Elisabeth is curious via biconditional elimination. Finally, from the fact that if Michael were a carpenter, then Elisabeth is curious, that if Jennifer were a police officer, then Elisabeth is curious, and that Michael is a carpenter or Jennifer is a police officer we can infer that Elisabeth is curious via disjunction elimination. Therefore, the answer is yes.