Translate the following inference to logic notation: If Susan writes a letter, then it is not overcast. It is overcast. Susan is an office clerk or Mary is driving a car. Susan is not an office clerk. Therefore Susan is not writing a letter and Mary is driving a car.
p -> ~q. q. r or s. ~r. Therefore ~p and s.