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