What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? For all z, z is not rich. If Richard were a musician, then Robert is rich. If Robert were rich, then Richard is a musician.
Nothing can be inferred from these premises.