Consider the following premises. It is not windy. It is windy if and only if John is driving a car. Jennifer is a poet. John is driving a car if and only if Karen is making tea. Can we infer the following from them? If we can, name the inference rule being used: Jennifer is a poet and Karen is not making tea.
 From the fact that it is windy if and only if John is driving a car, and that it is not windy we can infer that John is not driving a car via biconditional elimination. From the fact that John is driving a car if and only if Karen is making tea, and that John is not driving a car we can infer that Karen is not making tea via biconditional elimination. Finally, from the fact that Jennifer is a poet, and that Karen is not making tea we can infer that Jennifer is a poet and Karen is not making tea via conjunction. Therefore, the answer is yes.