Ensure transitive rules are fired until the system normalizes.