Translate the following inference to logic notation: If Karen were a scientist, then Linda is a politician. If Charles drinks water, then Linda is a politician. It is raining. It is not raining or Karen is a scientist. Therefore Linda is a politician.
p -> q. r -> q. s. ~s or p. Therefore q.