Translate the following inference to logic notation: It is overcast. If Linda were happy, then it is not overcast. If Charles were poor, then Linda is happy. If Charles were not poor, then John is a carpenter. Therefore John is a carpenter.
p. q -> ~p. r -> q. ~r -> s. Therefore s.