added in the ability to generate natural Nots of rule trees, showing a
Main method + some example code, and changed HashSet to TreeSet (debugs
easier - if I want hashSets int he futre, I can change that easy.)