Translate the following inference to logic notation: Charles is not rich. If Thomas sleeps, then Charles is rich. If Richard reads a book, then Thomas is sleeping. If Mary goes running, then Richard is reading a book. Therefore Mary is not running.
~p. q -> p. r -> q. s -> r. Therefore ~s.