Translate the following inference to logic notation: It is sunny or it is cloudy. If Mary were a sailor, then Susan is a lawyer. If it is cloudy, then Mary is a sailor. Susan is a lawyer or it is not sunny. Therefore Susan is a lawyer.
p or q. r -> s. q -> r. s or ~p. Therefore s.