Translate the following inference to logic notation: It is not sunny. It is not snowing. Patricia is a writer if and only if it is sunny. It is snowing or Sarah is taking a plane. Therefore Patricia is not a writer and Sarah is taking a plane.
~p. ~q. r <-> p. q or s. Therefore ~r and s.