pos(f(true,true,true)).
pos(f(true,true,false)).
pos(f(true,false,true)).
pos(f(true,false,false)).
pos(f(false,true,false)).

neg(f(false,true,true)).
neg(f(false,false,true)).
neg(f(false,false,false)).