What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Jennifer is a lawyer if and only if Karen is drinking water. Karen is a doctor if and only if Karen is drinking water.
If Jennifer were a lawyer, then Karen is drinking water. If Karen were a doctor, then Karen is drinking water. If Karen drinks water, then Jennifer is a lawyer. If Karen drinks water, then Karen is a doctor.