Consider the following premises. If it is cloudy, then it is sunny. If it is sunny, then it is cloudy. It is sunny if and only if it is cloudy. Can we infer the following from them? If we can, name the inference rule being used: It is sunny if and only if it is cloudy.
That is one of the premises. Therefore, the answer is yes.