% example of non-HCF program

a v b.
c :- a.
c :- b.
d v e :- a.
d :- e.
e :- d, not b.


% solutions:   {b, c}
%              {a, c, d, e}
