UX の良い proof verifier を作ろうと思うと、推論規則を結構沢山用意しないとなかなか使い物にならないかも

かと言ってあまりにも多くの推論規則があると「覚えられない」となりそうなので、なかなか難しい・・・