Consider the following premises. If William plays tennis, then John is playing squash. For all x_7, x_7 will play tennis or x_7 will not play a game. Can we infer the following from them? William is playing a game.
We cannot infer that from the premises. Therefore the answer is no.