Consider the following premises. Elisabeth is fast if and only if it is windy. Michael is cooking if and only if Elisabeth is fast. Can we infer the following from them? If we can, name the inference rule being used: If Michael cooks, then it is windy.
 From the fact that Elisabeth is fast if and only if it is windy we can infer that if Elisabeth were fast, then it is windy via biconditional elimination. From the fact that Michael is cooking if and only if Elisabeth is fast we can infer that if Michael cooks, then Elisabeth is fast via biconditional elimination. Finally, from the fact that if Michael cooks, then Elisabeth is fast, and that if Elisabeth were fast, then it is windy we can infer that if Michael cooks, then it is windy via transitivity. Therefore, the answer is yes.