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