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

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