Translate the following inference to logic notation: If James reads a book, then David is cooking. If David cooks, then it is windy. If James were a politician, then it is windy. If it is windy, then James is reading a book. Therefore if James were a politician, then David is cooking.
p -> q. q -> r. s -> r. r -> p. Therefore s -> q.