その世界最先端は受診だ
fact1: その世界最先端は尊くないし加えて果てし無くないならそれは受診でない fact2: もし仮に「なにがしかの物は習練しない」ということは本当であるとしたら受診でない一方で作り込む fact3: このＰＵは作り込む fact4: そのインパクトドライバーが尊いならばその世界最先端は受診でないし加えて作り込まない fact5: もしそのインパクトドライバーが作り込むとするとその世界最先端は尊くないし加えてそれは果てし無くない fact6: すべてのものは習練するしかつむずかる fact7: もし仮にそのインパクトドライバーが尊いならその世界最先端は果てし無くないし作り込まない fact8: そのインパクトドライバーは作り込む fact9: そのインパクトドライバーは移し替えるしまた何程だ fact10: もし仮にその世界最先端が尊くないけどそれが果てし無いとしたら受診でない fact11: もし仮に何らかの物は受診でないがしかし作り込めば「尊くない」ということは成り立つ fact12: もしその世界最先端が尊いがそれは果てし無くないとしたら「それは受診でない」ということは成り立つ fact13: もしそのインパクトドライバーが習練する一方でそれは作り込まないとすれば「その世界最先端は受診だ」ということは確かだ fact14: もし仮に「その世界最先端は作り込む」ということは真実であるとするとそのインパクトドライバーは果てし無いということはなくて受診でない fact15: もしも何程は秋華賞だということはないとすれば「それは作り込まない」ということは確かだ
fact5 & fact8 -> int1: その世界最先端は尊くないし果てし無いということはない; int1 & fact1 -> hypothesis;
そのインパクトドライバーは尊いということはない
fact16 -> int2: そのインパクトドライバーは受診であるということはないがしかし作り込むとすればそれは尊くない; fact17 -> int3: もしそのインパクトドライバーが習練しないとしたら受診でなくて更に作り込む;
$facts$ = fact1: その世界最先端は尊くないし加えて果てし無くないならそれは受診でない fact2: もし仮に「なにがしかの物は習練しない」ということは本当であるとしたら受診でない一方で作り込む fact3: このＰＵは作り込む fact4: そのインパクトドライバーが尊いならばその世界最先端は受診でないし加えて作り込まない fact5: もしそのインパクトドライバーが作り込むとするとその世界最先端は尊くないし加えてそれは果てし無くない fact6: すべてのものは習練するしかつむずかる fact7: もし仮にそのインパクトドライバーが尊いならその世界最先端は果てし無くないし作り込まない fact8: そのインパクトドライバーは作り込む fact9: そのインパクトドライバーは移し替えるしまた何程だ fact10: もし仮にその世界最先端が尊くないけどそれが果てし無いとしたら受診でない fact11: もし仮に何らかの物は受診でないがしかし作り込めば「尊くない」ということは成り立つ fact12: もしその世界最先端が尊いがそれは果てし無くないとしたら「それは受診でない」ということは成り立つ fact13: もしそのインパクトドライバーが習練する一方でそれは作り込まないとすれば「その世界最先端は受診だ」ということは確かだ fact14: もし仮に「その世界最先端は作り込む」ということは真実であるとするとそのインパクトドライバーは果てし無いということはなくて受診でない fact15: もしも何程は秋華賞だということはないとすれば「それは作り込まない」ということは確かだ ; $hypothesis$ = その世界最先端は受診だ ; $proof$ = 
fact5 & fact8 -> int1: その世界最先端は尊くないし果てし無いということはない; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: その世界最先端は尊くないし加えて果てし無くないならそれは受診でない
事実2: もし仮に「なにがしかの物は習練しない」ということは本当であるとしたら受診でない一方で作り込む
事実3: このＰＵは作り込む
事実4: そのインパクトドライバーが尊いならばその世界最先端は受診でないし加えて作り込まない
事実5: もしそのインパクトドライバーが作り込むとするとその世界最先端は尊くないし加えてそれは果てし無くない
事実6: すべてのものは習練するしかつむずかる
事実7: もし仮にそのインパクトドライバーが尊いならその世界最先端は果てし無くないし作り込まない
事実8: そのインパクトドライバーは作り込む
事実9: そのインパクトドライバーは移し替えるしまた何程だ
事実10: もし仮にその世界最先端が尊くないけどそれが果てし無いとしたら受診でない
事実11: もし仮に何らかの物は受診でないがしかし作り込めば「尊くない」ということは成り立つ
事実12: もしその世界最先端が尊いがそれは果てし無くないとしたら「それは受診でない」ということは成り立つ
事実13: もしそのインパクトドライバーが習練する一方でそれは作り込まないとすれば「その世界最先端は受診だ」ということは確かだ
事実14: もし仮に「その世界最先端は作り込む」ということは真実であるとするとそのインパクトドライバーは果てし無いということはなくて受診でない
事実15: もしも何程は秋華賞だということはないとすれば「それは作り込まない」ということは確かだ

仮説: その世界最先端は受診だ
1. 事実5と事実8から、推論1: "その世界最先端は尊くないし果てし無いということはない"が導かれる
2. 推論1と事実1から、仮説が否定される

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