Translate the following inference to logic notation: Susan is not sleeping. Barbara is a janitor if and only if it is late. Susan is sleeping if and only if Barbara is a janitor. Susan is cooking. Therefore it is not late.
~p. q <-> r. p <-> q. s. Therefore ~r.