What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is not cloudy. For all y, y will make tea. Jennifer is a nurse if and only if it is cloudy.
If Jennifer were a nurse, then it is cloudy. If it is cloudy, then Jennifer is a nurse. Jennifer is not a nurse.