Consider the following premises. If Michael makes tea, then Jessica is fast. If Jessica were fast, then John is playing tennis. If John plays tennis, then Michael is making tea. Can we infer the following from them? If we can, name the inference rule being used: If is not true that Michael is making tea if and only if Jessica is fast.
 From the fact that if Jessica were fast, then John is playing tennis, and that if John plays tennis, then Michael is making tea we can infer that if Jessica were fast, then Michael is making tea via transitivity. Finally, from the fact that if Michael makes tea, then Jessica is fast, and that if Jessica were fast, then Michael is making tea we can infer that Michael is making tea if and only if Jessica is fast via biconditional introduction, which contradicts that If is not true that Michael is making tea if and only if Jessica is fast. Therefore, the answer is no.