あのコンボドライブは基本的前提であるか不法投棄量であるかあるいは両方ともである
fact1: もしその消滅時効は生成し易くないならばそれは不法投棄量であるしかつ拝借する fact2: 「「「死別するかまたは輝かしいかまたは両方である」ということは本当である」ということは誤っている」物はある fact3: もし「「死別するかもしくは輝かしい」ということは間違いな」物はあるとすると「その消滅時効は拝借しない」ということは成り立つ fact4: 「死別するかまたは輝かしいかあるいは両方な」物はある fact5: もしもあのコンボドライブは拝借しないなら「その消滅時効は不法投棄量であるかもしくはそれは基本的前提だ」ということは成り立たない fact6: 「「素晴らしない」ということは確かな」ものはある fact7: もし仮にその消滅時効が拝借しないとしたらあのコンボドライブは不法投棄量でない fact8: 「不法投棄量でない」ものはある fact9: 「「基本的前提でない」ということは本当である」物はある fact10: 仮にその消滅時効は拝借しないとすれば「あのコンボドライブは基本的前提であるかもしくは不法投棄量であるかまたはどちらもである」ということは事実と異なる fact11: 仮にその用語が理解し辛い一方で生成し易くないならばあの消滅時効は生成し易くない fact12: 「あのコンボドライブは拝借するかもしくは不法投棄量である」ということは成り立たない fact13: もしもその消滅時効は基本的前提でないなら「あのコンボドライブは拝借するかまたは不法投棄量であるかまたは両方である」ということは成り立たない
fact2 & fact3 -> int1: その消滅時効は拝借しない; int1 & fact10 -> hypothesis;
あのコンボドライブは基本的前提であるかもしくは不法投棄量である
$facts$ = fact1: もしその消滅時効は生成し易くないならばそれは不法投棄量であるしかつ拝借する fact2: 「「「死別するかまたは輝かしいかまたは両方である」ということは本当である」ということは誤っている」物はある fact3: もし「「死別するかもしくは輝かしい」ということは間違いな」物はあるとすると「その消滅時効は拝借しない」ということは成り立つ fact4: 「死別するかまたは輝かしいかあるいは両方な」物はある fact5: もしもあのコンボドライブは拝借しないなら「その消滅時効は不法投棄量であるかもしくはそれは基本的前提だ」ということは成り立たない fact6: 「「素晴らしない」ということは確かな」ものはある fact7: もし仮にその消滅時効が拝借しないとしたらあのコンボドライブは不法投棄量でない fact8: 「不法投棄量でない」ものはある fact9: 「「基本的前提でない」ということは本当である」物はある fact10: 仮にその消滅時効は拝借しないとすれば「あのコンボドライブは基本的前提であるかもしくは不法投棄量であるかまたはどちらもである」ということは事実と異なる fact11: 仮にその用語が理解し辛い一方で生成し易くないならばあの消滅時効は生成し易くない fact12: 「あのコンボドライブは拝借するかもしくは不法投棄量である」ということは成り立たない fact13: もしもその消滅時効は基本的前提でないなら「あのコンボドライブは拝借するかまたは不法投棄量であるかまたは両方である」ということは成り立たない ; $hypothesis$ = あのコンボドライブは基本的前提であるか不法投棄量であるかあるいは両方ともである ; $proof$ = 
fact2 & fact3 -> int1: その消滅時効は拝借しない; int1 & fact10 -> hypothesis; __DISPROVED__
事実1: もしその消滅時効は生成し易くないならばそれは不法投棄量であるしかつ拝借する
事実2: 「「「死別するかまたは輝かしいかまたは両方である」ということは本当である」ということは誤っている」物はある
事実3: もし「「死別するかもしくは輝かしい」ということは間違いな」物はあるとすると「その消滅時効は拝借しない」ということは成り立つ
事実4: 「死別するかまたは輝かしいかあるいは両方な」物はある
事実5: もしもあのコンボドライブは拝借しないなら「その消滅時効は不法投棄量であるかもしくはそれは基本的前提だ」ということは成り立たない
事実6: 「「素晴らしない」ということは確かな」ものはある
事実7: もし仮にその消滅時効が拝借しないとしたらあのコンボドライブは不法投棄量でない
事実8: 「不法投棄量でない」ものはある
事実9: 「「基本的前提でない」ということは本当である」物はある
事実10: 仮にその消滅時効は拝借しないとすれば「あのコンボドライブは基本的前提であるかもしくは不法投棄量であるかまたはどちらもである」ということは事実と異なる
事実11: 仮にその用語が理解し辛い一方で生成し易くないならばあの消滅時効は生成し易くない
事実12: 「あのコンボドライブは拝借するかもしくは不法投棄量である」ということは成り立たない
事実13: もしもその消滅時効は基本的前提でないなら「あのコンボドライブは拝借するかまたは不法投棄量であるかまたは両方である」ということは成り立たない

仮説: あのコンボドライブは基本的前提であるか不法投棄量であるかあるいは両方ともである
1. 事実2と事実3から、推論1: "その消滅時効は拝借しない"が導かれる
2. 推論1と事実10から、仮説が否定される

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