Consider the following premises. Joseph is happy if and only if Karen is running. If Karen goes running, then Robert is a police officer. If it is overcast, then it is cloudy. Joseph is happy 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 overcast.
We cannot infer that from the premises. Therefore the answer is no.