Consider the following premises. If James plays tennis, then Elisabeth is working. For all x_10, if x_10 works, then x_10 is making tea. Elisabeth is making tea or James is playing tennis. For all x_10, if x_10 makes tea, then x_10 is working. Can we infer the following from them? Elisabeth is not working.
 From the fact that for all x_10, if x_10 makes tea, then x_10 is working, and that for all x_10, if x_10 works, then x_10 is making tea we can infer that for all x_10, x_10 will make tea if and only if x_10 will work. From the fact that for all x_10, x_10 will make tea if and only if x_10 will work we can infer that for all x_10, if x_10 makes tea, then x_10 is working. From the fact that for all x_10, if x_10 makes tea, then x_10 is working we can infer that if Elisabeth makes tea, then Elisabeth is working. Finally, from the fact that if Elisabeth makes tea, then Elisabeth is working, that if James plays tennis, then Elisabeth is working, and that Elisabeth is making tea or James is playing tennis we can infer that Elisabeth is working, which contradicts that Elisabeth is not working. Therefore, the answer is no.