Translate the following inference to logic notation: If David were a scientist, then it is overcast. It is windy or David is writing a letter. If David writes a letter, then Richard is fast. If it is overcast, then Richard is fast. If it is windy, then David is a scientist. Therefore Richard is fast.
p -> q. r or s. s -> t. q -> t. r -> p. Therefore t.