What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Linda is curious if and only if Karen is driving a car. If Karen drives a car, then Patricia is not a server. Patricia is a server. If Karen drives a car, then Linda is curious.
Karen is not driving a car. If Linda were curious, then Karen is driving a car. If Karen drives a car, then Linda is curious.