Translate the following inference to logic notation: Karen is not reading a book. Thomas is a politician. If Thomas were curious, then Karen is reading a book. If it is sunny, then Thomas is curious. Therefore Thomas is a politician and it is not sunny.
~p. q. r -> p. s -> r. Therefore q and ~s.