Adding de Morgan's logic to rule merging -- still awaiting Distinct refactor.