Consider the following premises. Robert is not sleeping. If Karen goes running, then Robert is sleeping. Karen is running. Can we infer the following from them? If we can, name the inference rule being used: Karen is running.
That is one of the premises. Therefore, the answer is yes.