「この官僚主導型はさ迷い込むということはないかまたは悲しいかどちらもだ」ということは偽だ
fact1: もし仮にとあるものが慎ましいとすれば制式化する fact2: この官僚主導型は悲しくない fact3: 「この官僚主導型はさ迷い込まないかもしくは悲しいかもしくは両方ともだ」ということは成り立たない fact4: 「この官僚主導型は形骸化しないかもしくは御玉杓子であるかあるいは両方である」ということは間違いである fact5: 仮に「ある物は慎ましい」ということは偽でないとすれば「制式化しなくて軸装でない」ということは誤っている fact6: もし仮にとある物が制式化するとすれば避難しなくてまた軸装である fact7: もしも「「あの昨夜来はノーコックでなくてその上冷え易いない」ということは本当でない」ということは真実だとすればこの官僚主導型は慎ましい fact8: もしも何かは避難しないとすればそれはさ迷い込まないかあるいはそれは悲しい fact9: 「「「制式化しないししかも軸装でない」ということは偽であるということはない」ということは成り立たない」ものがあるとしたらこの官僚主導型は避難しない fact10: 仮に「避難するということはない」ものはあるとすると「この彫りは眠たくないかもしくはそれはさ迷い込むか両方ともである」ということは成り立たない
fact3 -> hypothesis;
fact3 -> hypothesis;
「この彫りは眠たいということはないかあるいはそれはさ迷い込むか両方ともだ」ということは偽である
fact12 -> int1: もし仮にあの昨夜来は慎ましいとしたら「制式化しなくてそれは軸装でない」ということは事実と異なる;
$facts$ = fact1: もし仮にとあるものが慎ましいとすれば制式化する fact2: この官僚主導型は悲しくない fact3: 「この官僚主導型はさ迷い込まないかもしくは悲しいかもしくは両方ともだ」ということは成り立たない fact4: 「この官僚主導型は形骸化しないかもしくは御玉杓子であるかあるいは両方である」ということは間違いである fact5: 仮に「ある物は慎ましい」ということは偽でないとすれば「制式化しなくて軸装でない」ということは誤っている fact6: もし仮にとある物が制式化するとすれば避難しなくてまた軸装である fact7: もしも「「あの昨夜来はノーコックでなくてその上冷え易いない」ということは本当でない」ということは真実だとすればこの官僚主導型は慎ましい fact8: もしも何かは避難しないとすればそれはさ迷い込まないかあるいはそれは悲しい fact9: 「「「制式化しないししかも軸装でない」ということは偽であるということはない」ということは成り立たない」ものがあるとしたらこの官僚主導型は避難しない fact10: 仮に「避難するということはない」ものはあるとすると「この彫りは眠たくないかもしくはそれはさ迷い込むか両方ともである」ということは成り立たない ; $hypothesis$ = 「この官僚主導型はさ迷い込むということはないかまたは悲しいかどちらもだ」ということは偽だ ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もし仮にとあるものが慎ましいとすれば制式化する
事実2: この官僚主導型は悲しくない
事実3: 「この官僚主導型はさ迷い込まないかもしくは悲しいかもしくは両方ともだ」ということは成り立たない
事実4: 「この官僚主導型は形骸化しないかもしくは御玉杓子であるかあるいは両方である」ということは間違いである
事実5: 仮に「ある物は慎ましい」ということは偽でないとすれば「制式化しなくて軸装でない」ということは誤っている
事実6: もし仮にとある物が制式化するとすれば避難しなくてまた軸装である
事実7: もしも「「あの昨夜来はノーコックでなくてその上冷え易いない」ということは本当でない」ということは真実だとすればこの官僚主導型は慎ましい
事実8: もしも何かは避難しないとすればそれはさ迷い込まないかあるいはそれは悲しい
事実9: 「「「制式化しないししかも軸装でない」ということは偽であるということはない」ということは成り立たない」ものがあるとしたらこの官僚主導型は避難しない
事実10: 仮に「避難するということはない」ものはあるとすると「この彫りは眠たくないかもしくはそれはさ迷い込むか両方ともである」ということは成り立たない

仮説: 「この官僚主導型はさ迷い込むということはないかまたは悲しいかどちらもだ」ということは偽だ
1. 事実3から、仮説が導かれる

よって、仮説が証明されました。