Consider the following premises. It is not cold. If it is late, then it is sunny. If it is sunny, then it is cold. It is windy. Can we infer the following from them? If we can, name the inference rule being used: It is windy and it is not late.
 From the fact that if it is late, then it is sunny, and that if it is sunny, then it is cold we can infer that if it is late, then it is cold via transitivity. From the fact that if it is late, then it is cold, and that it is not cold we can infer that it is not late via modus tollens. Finally, from the fact that it is windy, and that it is not late we can infer that it is windy and it is not late via conjunction. Therefore, the answer is yes.