Translate the following inference to logic notation: Linda is not writing a letter or John is a musician. Linda is writing a letter or it is cold. Joseph is a nurse. If it is cold, then Joseph is not a nurse. Therefore John is a musician.
~p or q. p or r. s. r -> ~s. Therefore q.