証明ソフトウェアが出来ないこと

1. 証明図〈横棒図〉やストリング図を扱うこと、解釈すること。
2. 順行リーズニング
3. 柔軟な参照（固有名、固有ラベル以外の参照方法）
   1. 直示
   2. 位置による参照
   3. 曖昧参照
4. リーズニングの中断保留（未完成のままに保存）
5. 順行リーズニングと逆行リーズニングを混ぜたリーズニング
6. 参照先がない（ダングリングな）コンテキストの許容