Consider the following premises. Susan is not a taxi driver. Linda is happy if and only if Thomas is sleeping. Thomas is sleeping if and only if it is cloudy. Linda is happy if and only if Susan is a taxi driver. Can we infer the following from them? It is not cloudy.
 From the fact that Linda is happy if and only if Susan is a taxi driver, and that Susan is not a taxi driver we can infer that Linda is not happy. From the fact that Linda is happy if and only if Thomas is sleeping, and that Linda is not happy we can infer that Thomas is not sleeping. From the fact that Thomas is sleeping if and only if it is cloudy we can infer that if it is cloudy, then Thomas is sleeping. Finally, from the fact that if it is cloudy, then Thomas is sleeping, and that Thomas is not sleeping we can infer that it is not cloudy. Therefore, the answer is yes.