Consider the following premises. Jessica is making tea if and only if it is sunny. If it is sunny, then Jessica is making tea. Patricia is a scientist. If it is sunny, then Patricia is not a scientist. Can we infer the following from them? If we can, name the inference rule being used: Jessica is not making tea.
 From the fact that if it is sunny, then Patricia is not a scientist, and that Patricia is a scientist we can infer that it is not sunny via modus tollens. From the fact that Jessica is making tea if and only if it is sunny we can infer that if Jessica makes tea, then it is sunny via biconditional elimination. From the fact that if Jessica makes tea, then it is sunny, and that if it is sunny, then Jessica is making tea we can infer that Jessica is making tea if and only if it is sunny via biconditional introduction. Finally, from the fact that Jessica is making tea if and only if it is sunny, and that it is not sunny we can infer that Jessica is not making tea via biconditional elimination. Therefore, the answer is yes.