Consider the following premises. For all x, if x sleeps, then x is a writer. For all x, if x were a server, then x is sleeping. For all x, if x were a writer, then x is a server. Can we infer the following from them? The fact that David were a server does not imply that David is a writer.
That contradicts the premises. Therefore the answer is no.