What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Linda drinks water, then it is cold. For all y, y will drink water if and only if y is a police officer. If it is cold, then Linda is a police officer.
If Linda drinks water, then Linda is a police officer. For all y, if y drinks water, then y is a police officer. For all y, if y were a police officer, then y is drinking water.