Translate the following inference to logic notation: Karen is playing tennis if and only if David is writing a letter. If Patricia makes tea, then Sarah is sad. If David writes a letter, then it is cloudy. Karen is playing tennis if and only if Sarah is sad. Therefore if Patricia makes tea, then it is cloudy.
p <-> q. r -> s. q -> t. p <-> s. Therefore r -> t.