その原子模型は主要業務でない
fact1: その原子模型が起こし難くないとすればそれは主要業務だ fact2: その原子模型は儲かる fact3: その原子模型はだだっ広いならば「あのデータ構造は準備出来る」ということは成り立つ fact4: もしもなにがしかのものが儲かるかあるいはそれは起こし難くないか両方ともだとしたらそれはだだっ広い fact5: もし仮にその原子模型は天文学的数字であるということはないとしたら「準備出来る」ということは本当である fact6: この数時間置きはイメージ療法だ fact7: その原子模型が儲かるし準備出来るならそれは起こし難くない fact8: その原子模型は準備出来るしそれにだだっ広い
fact8 -> int1: その原子模型は準備出来る; int1 & fact2 -> int2: その原子模型は儲かるししかも準備出来る; int2 & fact7 -> int3: その原子模型は起こし難いということはない; int3 & fact1 -> hypothesis;
あのデータ構造は準備出来る
fact10 -> int4: その原子模型が儲かるかまたは起こし難くないとしたらそれはだだっ広い; fact11 -> int5: なにかはイメージ療法である;
$facts$ = fact1: その原子模型が起こし難くないとすればそれは主要業務だ fact2: その原子模型は儲かる fact3: その原子模型はだだっ広いならば「あのデータ構造は準備出来る」ということは成り立つ fact4: もしもなにがしかのものが儲かるかあるいはそれは起こし難くないか両方ともだとしたらそれはだだっ広い fact5: もし仮にその原子模型は天文学的数字であるということはないとしたら「準備出来る」ということは本当である fact6: この数時間置きはイメージ療法だ fact7: その原子模型が儲かるし準備出来るならそれは起こし難くない fact8: その原子模型は準備出来るしそれにだだっ広い ; $hypothesis$ = その原子模型は主要業務でない ; $proof$ = 
fact8 -> int1: その原子模型は準備出来る; int1 & fact2 -> int2: その原子模型は儲かるししかも準備出来る; int2 & fact7 -> int3: その原子模型は起こし難いということはない; int3 & fact1 -> hypothesis; __DISPROVED__
事実1: その原子模型が起こし難くないとすればそれは主要業務だ
事実2: その原子模型は儲かる
事実3: その原子模型はだだっ広いならば「あのデータ構造は準備出来る」ということは成り立つ
事実4: もしもなにがしかのものが儲かるかあるいはそれは起こし難くないか両方ともだとしたらそれはだだっ広い
事実5: もし仮にその原子模型は天文学的数字であるということはないとしたら「準備出来る」ということは本当である
事実6: この数時間置きはイメージ療法だ
事実7: その原子模型が儲かるし準備出来るならそれは起こし難くない
事実8: その原子模型は準備出来るしそれにだだっ広い

仮説: その原子模型は主要業務でない
1. 事実8から、推論1: "その原子模型は準備出来る"が導かれる
2. 推論1と事実2から、推論2: "その原子模型は儲かるししかも準備出来る"が導かれる
3. 推論2と事実7から、推論3: "その原子模型は起こし難いということはない"が導かれる
4. 推論3と事実1から、仮説が否定される

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