Consider the following premises. Robert is a cashier or Richard is not sleeping. For all x_4, x_4 is not a cashier. Can we infer the following from them? Richard is sleeping.
 From the fact that for all x_4, x_4 is not a cashier we can infer that Robert is not a cashier. From the fact that Robert is a cashier or Richard is not sleeping we can infer that if Richard sleeps, then Robert is a cashier. Finally, from the fact that if Richard sleeps, then Robert is a cashier, and that Robert is not a cashier we can infer that Richard is not sleeping, which contradicts that Richard is sleeping. Therefore, the answer is no.