Translate the following inference to logic notation: It is sunny or David is playing a game. If it is sunny, then it is windy. If it is windy, then James is a cashier. If David plays a game, then James is a cashier. It is late. Therefore it is late.
p or q. p -> r. r -> s. q -> s. t. Therefore t.