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


