Consider the following premises. John is running or Elisabeth is not making tea. For all z_4, z_4 will go running if and only if z_4 will drive a car. John is not driving a car. Can we infer the following from them? Elisabeth is not making tea.
 From the fact that for all z_4, z_4 will go running if and only if z_4 will drive a car we can infer that John is running if and only if John is driving a car. From the fact that John is running or Elisabeth is not making tea we can infer that if Elisabeth makes tea, then John is running. From the fact that John is running if and only if John is driving a car, and that John is not driving a car we can infer that John is not running. Finally, from the fact that if Elisabeth makes tea, then John is running, and that John is not running we can infer that Elisabeth is not making tea. Therefore, the answer is yes.