Consider the following premises. If Joseph were a poet, then it is cold. It is snowing if and only if Joseph is a poet. Can we infer the following from them? If we can, name the inference rule being used: If it snows, then it is cold.
 From the fact that it is snowing if and only if Joseph is a poet we can infer that if it snows, then Joseph is a poet via biconditional elimination. Finally, from the fact that if it snows, then Joseph is a poet, and that if Joseph were a poet, then it is cold we can infer that if it snows, then it is cold via transitivity. Therefore, the answer is yes.