Translate the following inference to logic notation: If David climbs a mountain, then Mary is not a lawyer. If it is overcast, then Mary is a lawyer. It is sunny or it is overcast. Mary is a lawyer or it is not sunny. Therefore David is not climbing a mountain.
p -> ~q. r -> q. s or r. q or ~s. Therefore ~p.