Translate the following inference to logic notation: If it is windy, then Michael is reading a book. Jennifer is not an artist. Jennifer is an artist if and only if it is windy. Jennifer is an artist or Michael is not reading a book. Therefore Michael is not reading a book.
p -> q. ~r. r <-> p. r or ~q. Therefore ~q.