What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Patricia is a musician. Patricia is a musician if and only if Elisabeth is a mechanic. Mary is an electrician.
Patricia is a musician and Mary is an electrician. Mary is an electrician and Patricia is a musician. If Patricia were a musician, then Elisabeth is a mechanic. If Elisabeth were a mechanic, then Patricia is a musician.