Translate the following inference to logic notation: If it rains, then it is cloudy. If Thomas were a server, then it is raining. Thomas is a server or it is not overcast. If it is cloudy, then it is overcast. Therefore if Thomas were a server, then it is cloudy.
p -> q. r -> p. r or ~s. q -> s. Therefore r -> q.