Add Leonard#ad_fact
Add Leonard#add_rule