>>863
それなら矛盾の定理とプロ7が同時発動したら確定で不発することになるけど・・・