setdb example.txt
delfact ? class1 ?
printdb
delfact ? ? class4
printdb
delfact implement ? ?
printdb
quit