Added basic fact-deletion functionality