Translate the following inference to logic notation: If Susan were a mechanic, then Barbara is not playing a game. If Patricia reads a book, then Barbara is playing a game. It is overcast. Patricia is reading a book. Therefore Susan is not a mechanic.
p -> ~q. r -> q. s. r. Therefore ~p.