Consider the following premises. For all x_10, x_10 will not write a letter. Richard is writing a letter if and only if John is making tea. If Charles were an astronaut, then John is making tea. Can we infer the following from them? If we can, name the inference rule being used: William is not a server.
We cannot infer that from the premises. Therefore the answer is no.