Translate the following inference to logic notation: If Linda were a carpenter, then it is windy. If it is windy, then James is drinking water. James is not drinking water. Sarah is sleeping if and only if Linda is a carpenter. If James drinks water, then Linda is a carpenter. Therefore Sarah is not sleeping.
p -> q. q -> r. ~r. s <-> p. r -> p. Therefore ~s.