Translate the following inference to logic notation: If it is sunny, then it is cloudy. If Richard were fast, then it is sunny. Elisabeth is a scientist. If Elisabeth were a scientist, then Richard is fast. Therefore it is cloudy.
p -> q. r -> p. s. s -> r. Therefore q.