Translate the following inference to logic notation: If it is late, then Elisabeth is a police officer. If Susan were happy, then Barbara is rich. Elisabeth is not a police officer. If Barbara were rich, then it is late. If Elisabeth were a police officer, then it is late. Therefore Susan is not happy.
p -> q. r -> s. ~q. s -> p. q -> p. Therefore ~r.