Consider the following premises. It is cold if and only if it is sunny. If it is cold, then Mary is sleeping. If Mary sleeps, then it is sunny. Can we infer the following from them? If it is sunny, then it is cold.
 From the fact that if it is cold, then Mary is sleeping, and that if Mary sleeps, then it is sunny we can infer that if it is cold, then it is sunny. Finally, from the fact that it is cold if and only if it is sunny we can infer that if it is sunny, then it is cold. Therefore, the answer is yes.