Translate the following inference to logic notation: Linda is a lawyer if and only if Michael is an artist. Michael is not an artist. If Linda were not a lawyer, then it is snowing. Therefore it is snowing or James is writing a letter.
p <-> q. ~q. ~p -> r. Therefore r or s.