Consider the following premises. Mary is running if and only if John is happy. If John were happy, then Mary is running. Can we infer the following from them? If John were happy, then Mary is running.
That is one of the premises. Therefore, the answer is yes.