Translate the following inference to logic notation: Elisabeth is excited if and only if William is a janitor. William is not a janitor. Elisabeth is excited if and only if Thomas is a carpenter. Thomas is a carpenter if and only if it is cloudy. Therefore it is not cloudy.
p <-> q. ~q. p <-> r. r <-> s. Therefore ~s.