If you walk your dog, he'll be happy. If you don't walk him, he'll chew up your furniture. If he's happy or if he chews your furniture, he'll mess up your apartment. If he messes up your apartment, you'll be annoyed. Does your dog mess up your apartment? Are you annoyed at him?
- Write the knowledge base given above in propositional logic.
- Convert the knowledge base into conjunctive normal form.
- Use resolution to prove by contradiction that your dog made a mess. Connect the two clauses to a new clause that the can be collapsed into (see the example figure).