Consider the following premises. If James were a server, then Barbara is sleeping. For all x_14, if x_14 sleeps, then x_14 is playing tennis. If it rains, then Barbara is sleeping. James is a server or it is raining. Can we infer the following from them? Barbara is not playing tennis.
 From the fact that for all x_14, if x_14 sleeps, then x_14 is playing tennis we can infer that if Barbara sleeps, then Barbara is playing tennis. From the fact that if James were a server, then Barbara is sleeping, that if it rains, then Barbara is sleeping, and that James is a server or it is raining we can infer that Barbara is sleeping. Finally, from the fact that if Barbara sleeps, then Barbara is playing tennis, and that Barbara is sleeping we can infer that Barbara is playing tennis, which contradicts that Barbara is not playing tennis. Therefore, the answer is no.