rosetta软件 怎么用规则约简啊

rosetta软件在导入 reduce约简之后，使用规则生成，然后怎么对规则进行约简啊，不会啊


然后怎么对这些规则再进行约简啊
最后希望得到这样的结果