Translate the following inference to logic notation: James is not cooking. It is overcast if and only if William is driving a car. If it is cloudy, then John is listening to a song. James is cooking if and only if John is listening to a song. If it is overcast, then it is cloudy. Therefore William is not driving a car.
~p. q <-> r. s -> t. p <-> t. q -> s. Therefore ~r.