Translate the following inference to logic notation: If Thomas sleeps, then Charles is driving a car. Thomas is sleeping or Susan is running. Susan is running if and only if Charles is driving a car. Charles is not driving a car or Sarah is playing a game. Therefore it is snowing or Sarah is playing a game.
p -> q. p or r. r <-> q. ~q or s. Therefore t or s.