What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Joseph is not cooking. Linda is not an electrician or Thomas is a cashier. If Patricia were curious, then Joseph is cooking. Patricia is curious or Joseph is not cooking. Linda is an electrician or Patricia is curious.
Patricia is not curious. Patricia is curious or Thomas is a cashier. If Joseph cooks, then Patricia is curious.