Translate the following inference to logic notation: If Thomas reads a book, then it is sunny. If it is sunny, then Thomas is reading a book. If it is sunny, then Barbara is making tea. If Barbara makes tea, then it is cloudy. Therefore if Thomas reads a book, then it is cloudy.
p -> q. q -> p. q -> r. r -> s. Therefore p -> s.