Consider the following premises. It is snowing or James is bored. If it snows, then James is sleeping. For all x_16, if x_16 were bored, then x_16 is sleeping. Richard is taking a plane. Can we infer the following from them? James is not sleeping.
 From the fact that for all x_16, if x_16 were bored, then x_16 is sleeping we can infer that if James were bored, then James is sleeping. Finally, from the fact that if it snows, then James is sleeping, that if James were bored, then James is sleeping, and that it is snowing or James is bored we can infer that James is sleeping, which contradicts that James is not sleeping. Therefore, the answer is no.