Added RuleTrees and updated the natural negatives of two rules.