Translate the following inference to logic notation: Richard is not a taxi driver. Richard is a taxi driver if and only if Mary is a mechanic. If it snows, then Mary is a mechanic. Therefore it is not snowing.
~p. p <-> q. r -> q. Therefore ~r.