a :- not b.
b :- not a.
c :- not d.
d :- not c.
e :- not f.
f :- not e.
false :- 2 { a,c,e }.
1 { g, h, i } :- a.
compute { not false }
a = 1
b = 2
c = 4
d = 8
minimize { a, b, c, d }
