Translate the following inference to logic notation: It is raining or William is a server. It is sunny or William is not a server. It is not raining or Patricia is drinking water. Patricia is drinking water if and only if it is sunny. Therefore it is sunny.
p or q. r or ~q. ~p or s. s <-> r. Therefore r.