What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Name the inference rule being used: If it is overcast, then Jennifer is an office clerk. Susan is not sleeping. Jennifer is an office clerk if and only if Susan is sleeping. If Jennifer were an office clerk, then it is overcast.
It is overcast if and only if Jennifer is an office clerk can be inferred via the biconditional introduction rule. Jennifer is an office clerk if and only if it is overcast can be inferred via the biconditional introduction rule. If Jennifer were an office clerk, then Susan is sleeping can be inferred via the biconditional elimination rule. If Susan sleeps, then Jennifer is an office clerk can be inferred via the biconditional elimination rule. Jennifer is not an office clerk can be inferred via the biconditional elimination rule.