1. A method, comprising: receiving, by a computing device, a rule comprising information describing conditions associated with a consequence; identifying, by the computing device, rule components corresponding to the rule, where each of the rule components corresponds to a portion of the rule; creating, by the computing device, a rule formula based on the rule components, where creating the rule formula comprises: creating a first-order logic version of the rule, and creating a rule formula table based on the first-order logic version of the rule; storing, by the computing device, the rule formula in a relational database; creating a reference table comprising support information corresponding to the rule, wherein the support information comprises rule title information and rule description information; and associating the rule formula table with the reference table.