What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is sunny. Charles is a writer. Karen is a poet.
It is sunny and Charles is a writer. It is sunny and Karen is a poet. Charles is a writer and it is sunny. Charles is a writer and Karen is a poet. Karen is a poet and it is sunny. Karen is a poet and Charles is a writer.