Consider the following premises. For all x_11, if x_11 sleeps, then x_11 is an astronaut. For all x_11, x_11 will make tea if and only if x_11 is an astronaut. For all x_11, if x_11 makes tea, then x_11 is sleeping. Can we infer the following from them? The fact that John makes tea does not imply that John is an astronaut.
That contradicts the premises. Therefore the answer is no.