Translate the following inference to logic notation: If it is sunny, then Richard is a politician. If Richard were a politician, then Sarah is sleeping. If Sarah sleeps, then it is sunny. Therefore if it is sunny, then Sarah is sleeping.
p -> q. q -> r. r -> p. Therefore p -> r.