Consider the following premises. If it is windy, then it is late. If it is late, then it is sunny. It is sunny if and only if Joseph is an office clerk. Can we infer the following from them? If we can, name the inference rule being used: If it is windy, then Joseph is an office clerk.
 From the fact that if it is windy, then it is late, and that if it is late, then it is sunny we can infer that if it is windy, then it is sunny via transitivity. From the fact that it is sunny if and only if Joseph is an office clerk we can infer that if it is sunny, then Joseph is an office clerk via biconditional elimination. Finally, from the fact that if it is windy, then it is sunny, and that if it is sunny, then Joseph is an office clerk we can infer that if it is windy, then Joseph is an office clerk via transitivity. Therefore, the answer is yes.