Consider the following premises. It is not overcast. Mary is happy if and only if John is running. If Mary were happy, then it is overcast. Can we infer the following from them? If we can, name the inference rule being used: Richard is not a soldier.
We cannot infer that from the premises. Therefore the answer is no.