Translate the following inference to logic notation: If John were a musician, then Joseph is a writer. Michael is not reading a book. Michael is reading a book if and only if it is cloudy. Joseph is a writer if and only if it is cloudy. Therefore John is not a musician or Jennifer is listening to a song.
p -> q. ~r. r <-> s. q <-> s. Therefore ~p or t.