Translate the following inference to logic notation: If James were not a carpenter, then it is late. If James were a carpenter, then it is snowing. It is not windy. It is snowing if and only if it is windy. Therefore it is late.
~p -> q. p -> r. ~s. r <-> s. Therefore q.