Consider the following premises. Jennifer is a scientist if and only if it is cold. Michael is a writer if and only if Jennifer is a scientist. Michael is not a writer. It is cold if and only if Linda is a bartender. Charles is climbing a mountain. Can we infer the following from them? If we can, name the inference rule being used: Charles is climbing a mountain and Linda is not a bartender.
 From the fact that Michael is a writer if and only if Jennifer is a scientist, and that Michael is not a writer we can infer that Jennifer is not a scientist via biconditional elimination. From the fact that Jennifer is a scientist if and only if it is cold, and that Jennifer is not a scientist we can infer that it is not cold via biconditional elimination. From the fact that it is cold if and only if Linda is a bartender, and that it is not cold we can infer that Linda is not a bartender via biconditional elimination. Finally, from the fact that Charles is climbing a mountain, and that Linda is not a bartender we can infer that Charles is climbing a mountain and Linda is not a bartender via conjunction. Therefore, the answer is yes.