Consider the following premises. Joseph is writing a letter if and only if it is windy. Jennifer is playing tennis or Joseph is not writing a letter. Can we infer the following from them? If we can, name the inference rule being used: If it is windy, then Jennifer is playing tennis.
 From the fact that Jennifer is playing tennis or Joseph is not writing a letter we can infer that if Joseph writes a letter, then Jennifer is playing tennis via rewriting. From the fact that Joseph is writing a letter if and only if it is windy we can infer that if it is windy, then Joseph is writing a letter via biconditional elimination. Finally, from the fact that if it is windy, then Joseph is writing a letter, and that if Joseph writes a letter, then Jennifer is playing tennis we can infer that if it is windy, then Jennifer is playing tennis via transitivity. Therefore, the answer is yes.