Consider the following premises. For all x_2, if x_2 were rich, then x_2 is running. Susan is sad. For all x_2, x_2 is rich or x_2 will drink water. For all x_2, if x_2 drinks water, then x_2 is running. Can we infer the following from them? Thomas is not driving a car.
We cannot infer that from the premises. Therefore the answer is no.