Consider the following premises. For all x_7, if x_7 reads a book, then x_7 is playing squash. For all x_7, x_7 will read a book or x_7 will not play squash. There is at least one x_7 for which if x_7 reads a book, then x_7 is running. Can we infer the following from them? For all x_7, the fact that x_7 plays squash does not imply that x_7 is running.
That contradicts the premises. Therefore the answer is no.