使用逆向推理,15个产生式的简单产生式系统