Translate the following inference to logic notation: If it is sunny, then it is cold. If it is cold, then Jennifer is reading a book. It is sunny if and only if it is cold. If Jennifer reads a book, then it is sunny. Therefore it is sunny if and only if Jennifer is reading a book.
p -> q. q -> r. p <-> q. r -> p. Therefore p <-> r.