Translate the following inference to logic notation: If Sarah reads a book, then Barbara is not listening to a song. It is not sunny. It is sunny or Barbara is listening to a song. Therefore Sarah is not reading a book.
p -> ~q. ~r. r or q. Therefore ~p.