Translate the following inference to logic notation: James is not a janitor. It is windy if and only if it is late. If it is windy, then Patricia is not working. James is a janitor. Therefore it is not late.
~p. q <-> r. q -> ~s. p. Therefore ~r.