Translate the following inference to logic notation: If Robert plays a game, then it is snowing. If Jessica reads a book, then Robert is playing a game. If Thomas were happy, then it is snowing. Thomas is happy or Jessica is reading a book. Jennifer is driving a car. Therefore it is snowing and Jennifer is driving a car.
p -> q. r -> p. s -> q. s or r. t. Therefore q and t.