Translate the following inference to logic notation: David is working if and only if Mary is a poet. David is not working. If Joseph goes running, then Mary is a poet. Therefore Joseph is not running or it is late.
p <-> q. ~p. r -> q. Therefore ~r or s.