Rule-based Formula Enumeration