more facts, simpler rules, also causing memory explosion