Translate the following inference to logic notation: If Elisabeth plays a game, then Mary is fast. Jennifer is not cooking. If Mary were fast, then Jennifer is cooking. If Elisabeth doesn't play a game, then Charles is reading a book. Therefore Charles is reading a book.
p -> q. ~r. q -> r. ~p -> s. Therefore s.