Translate the following inference to logic notation: It is late or Linda is a politician. It is not late or Thomas is a bartender. If Linda were a politician, then it is sunny. If Thomas were a bartender, then it is sunny. If it is sunny, then Karen is playing tennis. Therefore Karen is playing tennis.
p or q. ~p or r. q -> s. r -> s. s -> t. Therefore t.