Translate the following inference to logic notation: If James were a cashier, then it is not cloudy. If Karen cooks, then it is cloudy. If it rains, then Joseph is playing a game. It is raining. If Joseph plays a game, then Karen is cooking. Therefore James is not a cashier.
p -> ~q. r -> q. s -> t. s. t -> r. Therefore ~p.