Consider the following premises. Jessica is not an astronaut. Jessica is an astronaut if and only if Karen is cooking. Robert is making tea if and only if Karen is cooking. Can we infer the following from them? If we can, name the inference rule being used: Robert is not making tea.
 From the fact that Jessica is an astronaut if and only if Karen is cooking, and that Jessica is not an astronaut we can infer that Karen is not cooking via biconditional elimination. Finally, from the fact that Robert is making tea if and only if Karen is cooking, and that Karen is not cooking we can infer that Robert is not making tea via biconditional elimination. Therefore, the answer is yes.