Translate the following inference to logic notation: Michael is poor if and only if Susan is sleeping. If it is late, then Susan is sleeping. If Susan sleeps, then it is late. Michael is not poor. Therefore it is not late.
p <-> q. r -> q. q -> r. ~p. Therefore ~r.