Translate the following inference to logic notation: Karen is sleeping. David is excited or it is snowing. It is snowing if and only if William is a musician. If David were excited, then Karen is not sleeping. Therefore William is a musician.
p. q or r. r <-> s. q -> ~p. Therefore s.