Translate the following inference to logic notation: James is not an astronaut. It is late if and only if it is cloudy. If it is late, then Michael is a janitor. If it is cloudy, then William is driving a car. James is an astronaut if and only if William is driving a car. If Michael were a janitor, then it is late. Therefore Michael is not a janitor.
~p. q <-> r. q -> s. r -> t. p <-> t. s -> q. Therefore ~s.