Translate the following inference to logic notation: Susan is a mechanic. If it is cloudy, then Susan is not a mechanic. If it rains, then it is cloudy. Therefore it is not raining.
p. q -> ~p. r -> q. Therefore ~r.