Translate the following inference to logic notation: Elisabeth is a server if and only if it is cold. If Robert sleeps, then it is cold. Elisabeth is not a server. Robert is sleeping or it is cloudy. Therefore it is cloudy.
p <-> q. r -> q. ~p. r or s. Therefore s.