Translate the following inference to logic notation: If William were a server, then it is cloudy. It is raining. Charles is playing squash or William is a server. If it is cloudy, then Thomas is a nurse. If Charles plays squash, then Thomas is a nurse. Therefore Thomas is a nurse and it is raining.
p -> q. r. s or p. q -> t. s -> t. Therefore t and r.