Translate the following inference to logic notation: It is not sunny. If Joseph were a janitor, then Linda is taking a plane. Joseph is not a janitor if and only if it is late. It is sunny if and only if Linda is taking a plane. Therefore it is late.
~p. q -> r. ~q <-> s. p <-> r. Therefore s.