Translate the following inference to logic notation: If it is overcast, then Richard is working. If Karen were poor, then it is sunny. Karen is climbing a mountain or Karen is poor. If it is sunny, then Richard is working. If Karen climbs a mountain, then it is overcast. Therefore Richard is working.
p -> q. r -> s. t or r. s -> q. t -> p. Therefore q.