Examples from "Handbook of Practical Logic and Automated Reasoning"