>>75
命題が一本しか無いから判定できない。