s(a).
s(b).
ac(a,neg(b)).
ac(b,neg(a)).