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