-b | -e -> -c.


c :- not c'.
c' :- not c.

d :- c, c'.