Translate the following inference to logic notation: If Jennifer were a politician, then it is cloudy. If it is cloudy, then Jennifer is a politician. If Elisabeth were a server, then Jennifer is a politician. Elisabeth is a server or Patricia is not driving a car. Therefore if Patricia drives a car, then it is cloudy.
p -> q. q -> p. r -> p. r or ~s. Therefore s -> q.