CNF を自動計算するモジュールがほしかったのだけど，なかなか見つからなくて，ProcLogic にいきついた．ただProcLogic がバグだらけで理想どおりに使おうとすると苦労したんだけど，とりあえず以下のように書くととりあえず，できたので，メモ程度に残して…