Translate the following inference to logic notation: David is excited if and only if it is raining. It is late if and only if David is not excited. William is working. It is not raining. Therefore it is late and William is working.
p <-> q. r <-> ~p. s. ~q. Therefore r and s.