Consider the following premises. Richard is climbing a mountain if and only if Thomas is not an astronaut. It is not cloudy. If Thomas were an astronaut, then it is cloudy. Can we infer the following from them? It is not cloudy.
That is one of the premises. Therefore, the answer is yes.