Consider the following premises. If it is late, then Thomas is playing tennis. Thomas is not running. For all x_11, x_11 will go running if and only if x_11 will play tennis. Can we infer the following from them? Thomas is not a writer.
We cannot infer that from the premises. Therefore the answer is no.