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