「もし「この法秩序維持はめんどいということはないが六ミリメートル以上である」ということは誤っているとすれば「この法秩序維持は接近戦でない」ということは本当だ」ということは嘘である
fact1: もし「なにかはめんどくないけれど六ミリメートル以上である」ということは成り立つということはないとするとそれは接近戦でない
$facts$ = fact1: もし「なにかはめんどくないけれど六ミリメートル以上である」ということは成り立つということはないとするとそれは接近戦でない ; $hypothesis$ = 「もし「この法秩序維持はめんどいということはないが六ミリメートル以上である」ということは誤っているとすれば「この法秩序維持は接近戦でない」ということは本当だ」ということは嘘である ; $proof$ = 
事実1: もし「なにかはめんどくないけれど六ミリメートル以上である」ということは成り立つということはないとするとそれは接近戦でない

仮説: 「もし「この法秩序維持はめんどいということはないが六ミリメートル以上である」ということは誤っているとすれば「この法秩序維持は接近戦でない」ということは本当だ」ということは嘘である