Consider the following premises. There is at least one z for which z will play tennis if and only if z is an artist. For all z, z will play tennis if and only if z will drink water. Can we infer the following from them? If we can, name the inference rule being used: For all z, the fact that z drinks water does not imply that z is an artist.
 From the fact that there is at least one z for which z will play tennis if and only if z is an artist we can infer that there is at least one z for which if z plays tennis, then z is an artist via existential biconditional elimination. Finally, from the fact that for all z, z will play tennis if and only if z will drink water we can infer that for all z, if z drinks water, then z is playing tennis via universal biconditional elimination, which contradicts that For all z, the fact that z drinks water does not imply that z is an artist. Therefore, the answer is no.