Translate the following inference to logic notation: Patricia is writing a letter and it is cloudy. Susan is working or Patricia is not writing a letter. Therefore Susan is working.
p and q. r or ~p. Therefore r.