What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Patricia works, then Linda is excited. If John were happy, then Patricia is working. Susan is a poet. Linda is not excited.
Patricia is not working. If John were happy, then Linda is excited. Susan is a poet and Linda is not excited. Linda is not excited and Susan is a poet.