updated insert fact and insert rule. not tested
merge fixing stuff