Consider the following premises. For all x_12, if x_12 were poor, then x_12 is not an artist. For all x_12, x_12 is an artist. Thomas is poor if and only if Richard is an office clerk. Can we infer the following from them? It is not overcast.
We cannot infer that from the premises. Therefore the answer is no.