What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Robert is poor if and only if Barbara is running. Robert is poor or Patricia is not a musician. If Barbara goes running, then Patricia is a musician.
If Patricia were a musician, then Robert is poor. If Robert were poor, then Barbara is running. If Barbara goes running, then Robert is poor.