Translate the following inference to logic notation: Robert is taking a plane if and only if Sarah is a musician. If Patricia cooks, then Robert is taking a plane. Susan is not poor. Susan is poor if and only if Sarah is a musician. Therefore Patricia is not cooking.
p <-> q. r -> p. ~s. s <-> q. Therefore ~r.