Rosser推論規則
$ \lnot\varphi \mid \lnot\Box\varphi
Rosser証明可能性述語の証明可能性論理的な分析で必要になる．