IN: (((buy (money) (food)) (eat (food) (happy))) ((money) (silly) (fun)) ((happy) (fun))) OUT: (buy eat) COMMENTS: Example 1 from the assignment (for general use) --- IN: (((walk () (tired))) ((tired) (sad)) ((NOT tired))) OUT: (fail) COMMENTS: Example 2 from the assignment (to illustrate failure) --- IN: (((gas (NOT airborne) (fuel)) (load (and (satellite) (NOT airborne)) (payload)) (launch (fuel) (and (NOT grounded) (airborne))) (deploy (and (payload) (NOT grounded) (airborne)) (signal))) ((satellite)) ((signal))) OUT: (gas load launch deploy) OR (load gas launch deploy) COMMENTS: Loading must occur prior to launch for success, and be careful handling CWA --- IN: (((putBottomBread (and (NOT cheese) (NOT lettuce) (NOT tomato) (NOT bottombread) (NOT topbread)) (bottombread)) (putCheese (and (bottombread) (NOT topbread)) (cheese)) (putLettuce (and (bottombread) (NOT topbread) (cheese)) (lettuce)) (putTomato (and (bottombread) (NOT topbread) (NOT tomato)) (tomato)) (putTopBread (bottombread) (topbread)) (eat (and (bottombread) (topbread) (cheese) (tomato) (lettuce)) (satisfied))) () ((satisfied))) OUT: (putBottomBread putCheese putLettuce putTomato putTopBread eat) OR (putBottomBread putCheese putTomato putLettuce putTopBread eat) OR (putBottomBread putTomato putCheese putLettuce putTopBread eat) COMMENTS: Many feasible solutions are possible, but short ones require a bit more cleverness