% r1: -f :- p, not f.
rule(r1). head(neg_f,r1). pbl(p,r1). nbl(f,r1).

% r2: w :- b, not -w.
rule(r2). head(w,r2). pbl(b,r2). nbl(neg_w,r2).

% r3: f :- w, not -f.
rule(r3). head(f,r3). pbl(w,r3). nbl(neg_f,r3).

% r4: b :- p.
rule(r4). head(b,r4). pbl(p,r4).

% r5: p.
rule(r5). head(p,r5).

% r1 < r2.
pr(r1,r2).

compl(f,neg_f).
compl(w,neg_w).

