Consider the following premises. If Elisabeth plays tennis, then John is making tea. For all z, z will not make tea. If John makes tea, then Elisabeth is playing tennis. Can we infer the following from them? Elisabeth is not playing tennis.
 From the fact that for all z, z will not make tea we can infer that John is not making tea. From the fact that if Elisabeth plays tennis, then John is making tea, and that if John makes tea, then Elisabeth is playing tennis we can infer that Elisabeth is playing tennis if and only if John is making tea. Finally, from the fact that Elisabeth is playing tennis if and only if John is making tea, and that John is not making tea we can infer that Elisabeth is not playing tennis. Therefore, the answer is yes.