Consider the following premises. Patricia is making tea or Jessica is not excited. If Patricia makes tea, then it is late. If it is late, then Jessica is excited. Can we infer the following from them? If we can, name the inference rule being used: If is not true that it is late if and only if Patricia is making tea.
 From the fact that Patricia is making tea or Jessica is not excited we can infer that if Jessica were excited, then Patricia is making tea via rewriting. From the fact that if it is late, then Jessica is excited, and that if Jessica were excited, then Patricia is making tea we can infer that if it is late, then Patricia is making tea via transitivity. Finally, from the fact that if it is late, then Patricia is making tea, and that if Patricia makes tea, then it is late we can infer that it is late if and only if Patricia is making tea via biconditional introduction, which contradicts that If is not true that it is late if and only if Patricia is making tea. Therefore, the answer is no.