What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Jennifer were a bartender, then Joseph is a sailor. If Joseph were a sailor, then Jennifer is a bartender. For all z_4, z_4 will not drink water. For all z_4, z_4 is a bartender if and only if z_4 will drink water.
For all z_4, if z_4 were a bartender, then z_4 is drinking water. For all z_4, if z_4 drinks water, then z_4 is a bartender. For all z_4, z_4 is not a bartender.