Consider the following premises. If Barbara takes a plane, then Joseph is drinking water. For all x_2, x_2 will drink water or x_2 will read a book. Barbara is not taking a plane. If Joseph drinks water, then Barbara is taking a plane. Can we infer the following from them? Mary is not a server.
We cannot infer that from the premises. Therefore the answer is no.