Translate the following inference to logic notation: If Susan were a police officer, then Patricia is curious. David is a janitor or Patricia is not curious. If it is cold, then Susan is a police officer. If David were a janitor, then it is cold. Therefore if David were a janitor, then Susan is a police officer.
p -> q. r or ~q. s -> p. r -> s. Therefore r -> p.