Translate the following inference to logic notation: If Joseph were a janitor, then it is snowing. Mary is a writer. If Elisabeth writes a letter, then Mary is not a writer. Elisabeth is writing a letter if and only if it is snowing. Therefore Joseph is not a janitor.
p -> q. r. s -> ~r. s <-> q. Therefore ~p.