%%clingo -V0 0
a :- a.
SATISFIABLE
%%clingo -V0 0
a:- a, b.
b.
%%clingo -V0 0
a :- b.
b :- a.
SATISFIABLE
%%clingo -V0 0
a :- b, c.
b :- a, c.
c.
%%clingo -V0 0
a :- b.
b :- a.
b.
b a SATISFIABLE
%%clingo -V0 0
a :- b.
b :- a.
b :- c.
c.
%%clingo -V0 0
a :- b.
b :- a.
b.
c :- a.
b a c SATISFIABLE
%%clingo -V0 0
a :- b.
b :- a.
b.
c :- a, b.
d :- a, b, c.
%%clingo -V0 0
a :- b.
b :- c.
c :- a.
SATISFIABLE
%%clingo -V0 0
a :- b, d.
b :- c, e.
c :- a, e.
d.
e :- d.
%%clingo -V0 0
a :- b.
b :- c.
c :- a.
d.
c :- d.
b a c d SATISFIABLE
%%clingo -V0 0
a :- b, d.
b :- c, d.
c :- a, d.
d.
c :- d.
%%clingo -V0 0
a :- b.
b :- a.
c :- d.
d :- c.
SATISFIABLE
%%clingo -V0 0
a :- b, c.
b :- a, d.
c :- d.
d :- c.
d.
%%clingo -V0 0
a :- b.
b :- a.
c :- d.
d :- c.
c.
b :- d.
b a d c SATISFIABLE
%%clingo -V0 0
a :- b, c, d.
b :- a, c, d.
c :- d.
d :- c.
c.
b :- d.