その除幕式は六十三億人である
fact1: その除幕式はダイレクト選択ツールである fact2: その人パピローマウイルスはちげえでないしその上忝いない fact3: 仮になんらかの物は兵舎でないならば「それは素っ気ないということはないし加えてそれは赤松だ」ということは成り立たない fact4: もし仮にその除幕式がダイレクト選択ツールであるとしたら再発し易くないし六十三億人でない fact5: その除幕式は再発し易くない fact6: 何もかもは兵舎でない fact7: その平衡定数は支持し続けないしそれは飲み始めない fact8: 仮に「なんらかのものは素っ気なくないけど赤松である」ということは誤っているとするとそれは赤松であるということはない fact9: 仮にその除幕式が後ろ暗いとしたら喋り難くない
fact4 & fact1 -> int1: その除幕式は再発し易くないし六十三億人でない; int1 -> hypothesis;
その除幕式は六十三億人だ
fact10 -> int2: 仮に「このヒートロッドは素っ気なくないけれど赤松だ」ということは誤っているとすればそれは赤松でない; fact12 -> int3: もしこのヒートロッドは兵舎でないなら「素っ気なくないし赤松だ」ということは本当でない; fact11 -> int4: このヒートロッドは兵舎でない; int3 & int4 -> int5: 「このヒートロッドは素っ気なくないがしかしそれは赤松である」ということは嘘だ; int2 & int5 -> int6: このヒートロッドは赤松でない; int6 -> int7: あらゆるものは赤松でない; int7 -> int8: その除幕式は赤松でない;
$facts$ = fact1: その除幕式はダイレクト選択ツールである fact2: その人パピローマウイルスはちげえでないしその上忝いない fact3: 仮になんらかの物は兵舎でないならば「それは素っ気ないということはないし加えてそれは赤松だ」ということは成り立たない fact4: もし仮にその除幕式がダイレクト選択ツールであるとしたら再発し易くないし六十三億人でない fact5: その除幕式は再発し易くない fact6: 何もかもは兵舎でない fact7: その平衡定数は支持し続けないしそれは飲み始めない fact8: 仮に「なんらかのものは素っ気なくないけど赤松である」ということは誤っているとするとそれは赤松であるということはない fact9: 仮にその除幕式が後ろ暗いとしたら喋り難くない ; $hypothesis$ = その除幕式は六十三億人である ; $proof$ = 
fact4 & fact1 -> int1: その除幕式は再発し易くないし六十三億人でない; int1 -> hypothesis; __DISPROVED__
事実1: その除幕式はダイレクト選択ツールである
事実2: その人パピローマウイルスはちげえでないしその上忝いない
事実3: 仮になんらかの物は兵舎でないならば「それは素っ気ないということはないし加えてそれは赤松だ」ということは成り立たない
事実4: もし仮にその除幕式がダイレクト選択ツールであるとしたら再発し易くないし六十三億人でない
事実5: その除幕式は再発し易くない
事実6: 何もかもは兵舎でない
事実7: その平衡定数は支持し続けないしそれは飲み始めない
事実8: 仮に「なんらかのものは素っ気なくないけど赤松である」ということは誤っているとするとそれは赤松であるということはない
事実9: 仮にその除幕式が後ろ暗いとしたら喋り難くない

仮説: その除幕式は六十三億人である
1. 事実4と事実1から、推論1: "その除幕式は再発し易くないし六十三億人でない"が導かれる
2. 推論1から、仮説が否定される

よって、仮説が否定されました。