Translate the following inference to logic notation: If James were a nurse, then David is taking a plane. It is windy if and only if James is driving a car. It is not late. David is taking a plane if and only if it is late. James is not driving a car. Therefore James is not a nurse and it is not windy.
p -> q. r <-> s. ~t. q <-> t. ~s. Therefore ~p and ~r.