Translate the following inference to logic notation: Thomas is drinking water if and only if it is cloudy. If John sleeps, then it is cloudy. Thomas is drinking water or John is sleeping. It is raining. Therefore it is raining and it is cloudy.
p <-> q. r -> q. p or r. s. Therefore s and q.