Translate the following inference to logic notation: If it is late, then Jessica is not a taxi driver. It is cloudy if and only if Susan is working. Susan is not working. Jessica is a taxi driver. Therefore it is not cloudy and it is not late.
p -> ~q. r <-> s. ~s. q. Therefore ~r and ~p.