Consider the following premises. For all x_11, x_11 will go running if and only if x_11 will work. If Elisabeth goes running, then Elisabeth is working. Can we infer the following from them? If we can, name the inference rule being used: If Elisabeth goes running, then Elisabeth is working.
That is one of the premises. Therefore, the answer is yes.