Consider the following premises. It is not late. Thomas is an astronaut if and only if Susan is happy. It is cold or Thomas is not an astronaut. It is late if and only if it is cold. Can we infer the following from them? Susan is happy.
 From the fact that it is cold or Thomas is not an astronaut we can infer that if Thomas were an astronaut, then it is cold. From the fact that it is late if and only if it is cold, and that it is not late we can infer that it is not cold. From the fact that if Thomas were an astronaut, then it is cold, and that it is not cold we can infer that Thomas is not an astronaut. Finally, from the fact that Thomas is an astronaut if and only if Susan is happy, and that Thomas is not an astronaut we can infer that Susan is not happy, which contradicts that Susan is happy. Therefore, the answer is no.