三段论的一般规则共有七条，其中前五条是( )，后两条是导出规则，即后两条规则可以由前五条规则推出来。