>>132
シーケント計算で導出できるかどうかで真偽値を決めるってのはもうやめたのかよ