Translate the following inference to logic notation: Karen is not driving a car or David is curious. If David were curious, then it is cloudy. If Susan works, then Linda is an electrician. Thomas is not playing a game or Susan is working. If Linda were an electrician, then it is cloudy. Thomas is playing a game or Karen is driving a car. Therefore it is cloudy.
~p or q. q -> r. s -> t. ~u or s. t -> r. u or p. Therefore r.