Translate the following inference to logic notation: David is sleeping. Richard is taking a plane if and only if it is cloudy. Barbara is a musician if and only if Charles is driving a car. If it is cloudy, then David is not sleeping. Charles is not driving a car. Therefore Richard is not taking a plane.
p. q <-> r. s <-> t. r -> ~p. ~t. Therefore ~q.