Translate the following inference to logic notation: If William were a server, then it is raining. William is a server or it is sunny. If it is sunny, then it is cloudy. It is raining if and only if it is cloudy. Therefore it is cloudy.
p -> q. p or r. r -> s. q <-> s. Therefore s.