Translate the following inference to logic notation: Elisabeth is a mechanic. David is excited. If it is overcast, then Elisabeth is not a mechanic. Therefore it is not overcast.
p. q. r -> ~p. Therefore ~r.