Translate the following inference to logic notation: John is a politician or it is late. If John were a politician, then it is not cloudy. It is cloudy and Jennifer is cooking. Therefore it is late.
p or q. p -> ~r. r and s. Therefore q.