1 {a;b} 1.
1 {c;d} 1 :- b.
e.

f :- g.
g :- f.
f :- h.
h :- not i.
i :- not h.