Translate the following inference to logic notation: If Patricia were a musician, then it is snowing. If William were poor, then Patricia is a musician. It is snowing if and only if William is poor. Therefore if William were poor, then Patricia is a musician.
p -> q. r -> p. q <-> r. Therefore r -> p.