Consider the following premises. It is late if and only if Barbara is an office clerk. It is late if and only if it is windy. Susan is curious. Barbara is not an office clerk. Can we infer the following from them? If we can, name the inference rule being used: It is not windy and Susan is curious.
 From the fact that it is late if and only if Barbara is an office clerk, and that Barbara is not an office clerk we can infer that it is not late via biconditional elimination. From the fact that it is late if and only if it is windy, and that it is not late we can infer that it is not windy via biconditional elimination. Finally, from the fact that it is not windy, and that Susan is curious we can infer that it is not windy and Susan is curious via conjunction. Therefore, the answer is yes.