Translate the following inference to logic notation: Charles is not a taxi driver. It is late if and only if Charles is a taxi driver. Thomas is not rich. It is windy if and only if Thomas is rich. Therefore it is not late and it is not windy.
~p. q <-> p. ~r. s <-> r. Therefore ~q and ~s.