Consider the following premises. For all y, y is an astronaut if and only if y is a taxi driver. For all y, if y were a server, then y is a taxi driver. There is at least one y for which if y were an astronaut, then y is a server. Can we infer the following from them? For all y, the fact that y were a server does not imply that y is a taxi driver.
That contradicts the premises. Therefore the answer is no.