Translate the following inference to logic notation: It is not late. If David were a writer, then Charles is fast. Elisabeth is a police officer if and only if it is late. If Charles were fast, then Elisabeth is a police officer. Therefore David is not a writer.
~p. q -> r. s <-> p. r -> s. Therefore ~q.