Translate the following inference to logic notation: If it is windy, then Charles is sleeping. It is not windy. If Susan cooks, then Charles is sleeping. If Charles sleeps, then it is windy. Therefore Susan is not cooking.
p -> q. ~p. r -> q. q -> p. Therefore ~r.