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 late. If it is late, then Patricia is sleeping. Patricia is not sleeping. If Patricia sleeps, then Linda is drinking water. Linda is drinking water if and only if Joseph is driving a car.
It is not late. If Linda drinks water, then Patricia is sleeping. If it is late, then Linda is drinking water. If Patricia sleeps, then it is late. If Linda drinks water, then Joseph is driving a car. If Joseph drives a car, then Linda is drinking water.