Translate the following inference to logic notation: It is windy if and only if Joseph is a janitor. If Richard were bored, then it is not overcast. If Joseph were a janitor, then Richard is bored. It is overcast. Therefore it is not windy.
p <-> q. r -> ~s. q -> r. s. Therefore ~p.