Translate the following inference to logic notation: William is bored if and only if it is cloudy. If it is cloudy, then Susan is a janitor. William is bored or Susan is not a janitor. Therefore William is bored if and only if Susan is a janitor.
p <-> q. q -> r. p or ~r. Therefore p <-> r.