What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Richard were a lawyer, then Richard is cooking. If Linda were a musician, then Richard is a lawyer. If Richard cooks, then Thomas is a janitor. If Thomas were a janitor, then Linda is a musician.
If Richard were a lawyer, then Thomas is a janitor. If Linda were a musician, then Richard is cooking. If Richard cooks, then Linda is a musician. If Thomas were a janitor, then Richard is a lawyer.