What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Linda is working if and only if Karen is an office clerk. Linda is working if and only if Karen is an office clerk.
If Linda works, then Karen is an office clerk. If Linda works, then Karen is an office clerk. If Karen were an office clerk, then Linda is working. If Karen were an office clerk, then Linda is working.