What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Sarah is taking a plane if and only if Karen is drinking water. For all z_2, z_2 will not drink water.
If Sarah takes a plane, then Karen is drinking water. If Karen drinks water, then Sarah is taking a plane.