Translate the following inference to logic notation: If David were a sailor, then Susan is a mechanic. If Sarah were happy, then David is a sailor. If Susan were a mechanic, then it is cloudy. Sarah is happy. Therefore it is cloudy.
p -> q. r -> p. q -> s. r. Therefore s.