%%clingo -V0 0
a :- not b.
a SATISFIABLE
-:1:10-11: info: atom does not occur in any rule head: b
%%clingo -V0 0
a :- not b, c.
c.
%%clingo -V0 0
a :- not b.
b.
b SATISFIABLE
%%clingo -V0 0
a :- not b.
b :- c.
c.
%%clingo -V0 0
a :- not b.
b :- not c.
b SATISFIABLE
-:2:10-11: info: atom does not occur in any rule head: c
%%clingo -V0 0
a :- not b, d.
b :- not c, d.
d.
%%clingo -V0 0
a :- not b.
b :- not c.
c :- d.
d.
a c d SATISFIABLE
%%clingo -V0 0
a :- not b, d.
b :- not c, d.
c :- d.
d :- not e.
%%clingo -V0 0
a :- not b.
b :- not c.
c :- d.
d :- c.
b SATISFIABLE
%%clingo -V0 0
a :- not b.
b :- not c.
c :- d.
d :- c.
d.
%%clingo -V0 0
a :- not b.
b :- not c.
d :- b.
b :- d.
b d SATISFIABLE
-:2:10-11: info: atom does not occur in any rule head: c
%%clingo -V0 0
a :- not b.
b :- not c.
d :- b.
b :- d.
c.
%%clingo -V0 0
a :- not b.
b :- not c.
a :- d.
d.
b a d SATISFIABLE
-:2:10-11: info: atom does not occur in any rule head: c
%%clingo -V0 0
a :- not b.
b :- not c.
a :- d.
d.
b :- d.
%%clingo -V0 0
a :- not b.
b :- c, d.
c :- b.
d.
a d SATISFIABLE
%%clingo -V0 0
a :- not b.
b :- c, d.
c :- b.
d.
c :- d.