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