Translate the following inference to logic notation: If it is sunny, then Mary is a musician. Elisabeth is writing a letter or Mary is a musician. If Mary were a musician, then it is sunny. If Elisabeth writes a letter, then it is sunny. Therefore it is sunny.
p -> q. r or q. q -> p. r -> p. Therefore p.