Consider the following premises. For all y, y is happy. For all x_5, if x_5 were happy, then x_5 is working. Can we infer the following from them? Susan is not working.
 From the fact that for all y, y is happy we can infer that Susan is happy. From the fact that for all x_5, if x_5 were happy, then x_5 is working we can infer that if Susan were happy, then Susan is working. Finally, from the fact that if Susan were happy, then Susan is working, and that Susan is happy we can infer that Susan is working, which contradicts that Susan is not working. Therefore, the answer is no.