What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Jennifer drinks water, then it is snowing. If Mary plays tennis, then Jennifer is drinking water. If it snows, then Jennifer is drinking water.
If Mary plays tennis, then it is snowing. Jennifer is drinking water if and only if it is snowing. It is snowing if and only if Jennifer is drinking water.