setdb example.txt
delfact a b c
printdb
quit