Consider the following premises. For all x_13, x_13 is not an astronaut. For all x_13, x_13 will sleep if and only if x_13 will play squash. For all x_13, x_13 will play squash if and only if x_13 is an astronaut. Charles is sleeping or it is late. Can we infer the following from them? It is not cloudy.
We cannot infer that from the premises. Therefore the answer is no.