Translate the following inference to logic notation: If Jessica drives a car, then it is cloudy. Patricia is a politician. It is cloudy or Susan is not playing a game. If Patricia were a politician, then Jessica is driving a car. Therefore it is cloudy.
p -> q. r. q or ~s. r -> p. Therefore q.