Consider the following premises. For all x_12, if x_12 were bored, then x_12 is not listening to a song. Jessica is bored if and only if it is sunny. For all x_12, x_12 will listen to a song. Can we infer the following from them? James is not working.
We cannot infer that from the premises. Therefore the answer is no.