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