example(9,  approve, [emp=yes, buy=comp, sex=m, married=yes]).
example(10, approve, [emp=yes, buy=comp, sex=m, married=yes]).
example(5,  reject,  [emp=yes, buy=car,  sex=f, married=no]).
example(12, reject,  [emp=no,  buy=car,  sex=f, married=yes]).