-b.

b :- a, not c.
c :- a.
a.