2.7 两色证明

    2.6 平等和团结的属性

      2.5 预测和反示例

        2.4 反、反、反、反

          2.3 声明

            2.2 扣减理由

              2.1 来自模式的引因