Translate the following inference to logic notation: William is climbing a mountain if and only if it is snowing. Patricia is not rich. If William climbs a mountain, then Patricia is rich. If Patricia were rich, then it is snowing. Therefore it is not snowing.
p <-> q. ~r. p -> r. r -> q. Therefore ~q.