「あの作り方は取り払わない」ということは真実だ
fact1: もし仮にあの作り方が台形石器ならばこの卒業論文は慈愛深い fact2: もし何らかの物は生み続けるということはないならば「「参ぜないしそれにそれは嵩張る」ということは成り立つ」ということは確かでない fact3: もし「このコンディクティオは嵩張らない」ということは確かだとするとあの梯子車は一件落着するということはないかあるいは仕るということはない fact4: 仮に何らかの物が一件落着しないかもしくは仕らないかまたはどちらもであるならばあの作り方は数理だ fact5: あの作り方は取り払う fact6: もしもあの梯子車が数理でないとしたらそれがベストタイムだしそれにそれは台形石器である fact7: あの重慶爆撃は取り払う fact8: 「このコンディクティオは生み続けない」ということは正しい fact9: なんらかのものは数理であるならベストタイムであるということはないけれど台形石器である fact10: もしも「何らかの物は参ぜない一方で嵩張る」ということは偽であるならそれは嵩張らない fact11: なんらかのものが慈愛深いとすると取り払う
fact5 -> hypothesis;
fact5 -> hypothesis;
あの作り方は取り払わない
$facts$ = fact1: もし仮にあの作り方が台形石器ならばこの卒業論文は慈愛深い fact2: もし何らかの物は生み続けるということはないならば「「参ぜないしそれにそれは嵩張る」ということは成り立つ」ということは確かでない fact3: もし「このコンディクティオは嵩張らない」ということは確かだとするとあの梯子車は一件落着するということはないかあるいは仕るということはない fact4: 仮に何らかの物が一件落着しないかもしくは仕らないかまたはどちらもであるならばあの作り方は数理だ fact5: あの作り方は取り払う fact6: もしもあの梯子車が数理でないとしたらそれがベストタイムだしそれにそれは台形石器である fact7: あの重慶爆撃は取り払う fact8: 「このコンディクティオは生み続けない」ということは正しい fact9: なんらかのものは数理であるならベストタイムであるということはないけれど台形石器である fact10: もしも「何らかの物は参ぜない一方で嵩張る」ということは偽であるならそれは嵩張らない fact11: なんらかのものが慈愛深いとすると取り払う ; $hypothesis$ = 「あの作り方は取り払わない」ということは真実だ ; $proof$ = 
fact5 -> hypothesis; __DISPROVED__
事実1: もし仮にあの作り方が台形石器ならばこの卒業論文は慈愛深い
事実2: もし何らかの物は生み続けるということはないならば「「参ぜないしそれにそれは嵩張る」ということは成り立つ」ということは確かでない
事実3: もし「このコンディクティオは嵩張らない」ということは確かだとするとあの梯子車は一件落着するということはないかあるいは仕るということはない
事実4: 仮に何らかの物が一件落着しないかもしくは仕らないかまたはどちらもであるならばあの作り方は数理だ
事実5: あの作り方は取り払う
事実6: もしもあの梯子車が数理でないとしたらそれがベストタイムだしそれにそれは台形石器である
事実7: あの重慶爆撃は取り払う
事実8: 「このコンディクティオは生み続けない」ということは正しい
事実9: なんらかのものは数理であるならベストタイムであるということはないけれど台形石器である
事実10: もしも「何らかの物は参ぜない一方で嵩張る」ということは偽であるならそれは嵩張らない
事実11: なんらかのものが慈愛深いとすると取り払う

仮説: 「あの作り方は取り払わない」ということは真実だ
1. 事実5から、仮説が否定される

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