[rules-dev] What is inference and how does it facilitate good rule design and maintenance