Translate the following inference to logic notation: Thomas is a nurse if and only if it is sunny. If Thomas were not a nurse, then it is late. Richard is not an astronaut. Richard is an astronaut if and only if it is sunny. Therefore it is late.
p <-> q. ~p -> r. ~s. s <-> q. Therefore r.