Translate the following inference to logic notation: It is late if and only if Elisabeth is a mechanic. If Richard takes a plane, then Elisabeth is a mechanic. If Patricia were a musician, then Richard is taking a plane. It is not late. Therefore Patricia is not a musician.
p <-> q. r -> q. s -> r. ~p. Therefore ~s.