「「もし「間引きしないかあるいは紳士協定である」ということは成り立たないなら発令する」物はある」ということは本当である
fact1: もしも「その御飯代わりはグラフィックスであるかあるいは天狗らしいか両方ともだ」ということは成り立たないとしたらそれは仄聞する fact2: もしも「なにがしかの物は物憂くないかもしくは気高しかまたはどちらもである」ということは嘘であるならそれは着工出来る fact3: もしも「その御飯代わりは間引きしないかもしくは紳士協定であるか両方ともである」ということは成り立たないとすると発令する fact4: もし「その御飯代わりは売れ続けないかまたは発令するかまたは両方ともだ」ということは偽だとしたらそれは無分別智である fact5: もし「その御飯代わりはミクロ機能であるかまたはパルファン・クリスチャン・ディオールであるかまたは両方だ」ということは成り立たないとすればそれはし易い fact6: もし仮に「その御飯代わりは抗い難いかまたは同参するかあるいはどちらもである」ということは成り立たないとしたら間引きする
fact3 -> hypothesis;
「もしも「物憂いということはないか気高しかもしくは両方ともだ」ということは偽なら着工出来る」ものはある
fact7 -> int1: 「もし「このノードＤは物憂くないか気高しか両方だ」ということは事実と異なるとすればこのノードＤは着工出来る」ということは確かである; int1 -> hypothesis;
$facts$ = fact1: もしも「その御飯代わりはグラフィックスであるかあるいは天狗らしいか両方ともだ」ということは成り立たないとしたらそれは仄聞する fact2: もしも「なにがしかの物は物憂くないかもしくは気高しかまたはどちらもである」ということは嘘であるならそれは着工出来る fact3: もしも「その御飯代わりは間引きしないかもしくは紳士協定であるか両方ともである」ということは成り立たないとすると発令する fact4: もし「その御飯代わりは売れ続けないかまたは発令するかまたは両方ともだ」ということは偽だとしたらそれは無分別智である fact5: もし「その御飯代わりはミクロ機能であるかまたはパルファン・クリスチャン・ディオールであるかまたは両方だ」ということは成り立たないとすればそれはし易い fact6: もし仮に「その御飯代わりは抗い難いかまたは同参するかあるいはどちらもである」ということは成り立たないとしたら間引きする ; $hypothesis$ = 「「もし「間引きしないかあるいは紳士協定である」ということは成り立たないなら発令する」物はある」ということは本当である ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もしも「その御飯代わりはグラフィックスであるかあるいは天狗らしいか両方ともだ」ということは成り立たないとしたらそれは仄聞する
事実2: もしも「なにがしかの物は物憂くないかもしくは気高しかまたはどちらもである」ということは嘘であるならそれは着工出来る
事実3: もしも「その御飯代わりは間引きしないかもしくは紳士協定であるか両方ともである」ということは成り立たないとすると発令する
事実4: もし「その御飯代わりは売れ続けないかまたは発令するかまたは両方ともだ」ということは偽だとしたらそれは無分別智である
事実5: もし「その御飯代わりはミクロ機能であるかまたはパルファン・クリスチャン・ディオールであるかまたは両方だ」ということは成り立たないとすればそれはし易い
事実6: もし仮に「その御飯代わりは抗い難いかまたは同参するかあるいはどちらもである」ということは成り立たないとしたら間引きする

仮説: 「「もし「間引きしないかあるいは紳士協定である」ということは成り立たないなら発令する」物はある」ということは本当である
1. 事実3から、仮説が導かれる

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