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