あの点数は面白おかしい
fact1: 仮に面白おかしい物が敵潜水艦ならそれはゴムバンドでない fact2: あの点数が機械改良だしそれは敵潜水艦である fact3: 仮になんらかの物は農業開発でないとするとそれは浅い fact4: あの点数が農業開発でないとすればそれは浅い fact5: あの点数は浅い fact6: もし仮にこの傾聴は機械改良だとすれば「「あの庭園は敵潜水艦だけど面白おかしくない」ということは確かである」ということは間違いだ fact7: もしもある物は農業開発でないとしたらゴムバンドであるしその上浅い fact8: あの点数は農業開発でない fact9: あの点数は機械改良だ fact10: もし「あの庭園は農業開発でないけどゴムバンドだ」ということは間違いだとすればゴムバンドでない fact11: もし仮に何らかのものは機械改良であるとすれば浅い fact12: 仮にあの点数が機械改良ならばその統計的要約指標は機械改良である fact13: もしもあの点数が有すしさらにそれが阿呆らしいとしたらそれはしゃあ無くない fact14: もしこの傾聴は溶接跡でないなら「あの庭園は農業開発でないがしかしそれはゴムバンドである」ということは成り立つということはない fact15: もし仮になにがしかの物は農業開発だとすれば「それはゴムバンドであるしかつそれは浅くない」ということは間違いだ fact16: 「このプロセス組織は敵潜水艦である」ということは成り立つ fact17: もしも「何らかの物はゴムバンドであるけど浅くない」ということは間違っているとすれば機械改良である fact18: あの数値化は参ぜない fact19: 仮にあの庭園はゴムバンドであるということはないとすれば敵潜水艦で面白おかしい fact20: もしも「とある物は敵潜水艦でなくて機械改良でない」ということは確かでないとしたら機械改良だ
fact2 -> int1: あの点数は敵潜水艦だ; void -> assump1: 以下のように仮定する。あの点数は面白おかしい; int1 & assump1 -> int2: あの点数は面白おかしいしさらに敵潜水艦だ; fact1 -> int3: もし仮にあの点数は面白おかしくて敵潜水艦であるならそれはゴムバンドでない; int2 & int3 -> int4: あの点数はゴムバンドでない; fact7 -> int5: あの点数が農業開発でないならゴムバンドであるし加えてそれは浅い; int5 & fact8 -> int6: あの点数はゴムバンドでしかも浅い; int6 -> int7: あの点数はゴムバンドである; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
「その統計的要約指標は浅い」ということは事実である
fact25 -> int9: 仮にその統計的要約指標は機械改良であるとしたらそれは浅い; fact21 -> int10: 仮に「あの点数は敵潜水艦でなくてそれは機械改良でない」ということは間違いなら「それは機械改良だ」ということは真実だ;
$facts$ = fact1: 仮に面白おかしい物が敵潜水艦ならそれはゴムバンドでない fact2: あの点数が機械改良だしそれは敵潜水艦である fact3: 仮になんらかの物は農業開発でないとするとそれは浅い fact4: あの点数が農業開発でないとすればそれは浅い fact5: あの点数は浅い fact6: もし仮にこの傾聴は機械改良だとすれば「「あの庭園は敵潜水艦だけど面白おかしくない」ということは確かである」ということは間違いだ fact7: もしもある物は農業開発でないとしたらゴムバンドであるしその上浅い fact8: あの点数は農業開発でない fact9: あの点数は機械改良だ fact10: もし「あの庭園は農業開発でないけどゴムバンドだ」ということは間違いだとすればゴムバンドでない fact11: もし仮に何らかのものは機械改良であるとすれば浅い fact12: 仮にあの点数が機械改良ならばその統計的要約指標は機械改良である fact13: もしもあの点数が有すしさらにそれが阿呆らしいとしたらそれはしゃあ無くない fact14: もしこの傾聴は溶接跡でないなら「あの庭園は農業開発でないがしかしそれはゴムバンドである」ということは成り立つということはない fact15: もし仮になにがしかの物は農業開発だとすれば「それはゴムバンドであるしかつそれは浅くない」ということは間違いだ fact16: 「このプロセス組織は敵潜水艦である」ということは成り立つ fact17: もしも「何らかの物はゴムバンドであるけど浅くない」ということは間違っているとすれば機械改良である fact18: あの数値化は参ぜない fact19: 仮にあの庭園はゴムバンドであるということはないとすれば敵潜水艦で面白おかしい fact20: もしも「とある物は敵潜水艦でなくて機械改良でない」ということは確かでないとしたら機械改良だ ; $hypothesis$ = あの点数は面白おかしい ; $proof$ = 
fact2 -> int1: あの点数は敵潜水艦だ; void -> assump1: 以下のように仮定する。あの点数は面白おかしい; int1 & assump1 -> int2: あの点数は面白おかしいしさらに敵潜水艦だ; fact1 -> int3: もし仮にあの点数は面白おかしくて敵潜水艦であるならそれはゴムバンドでない; int2 & int3 -> int4: あの点数はゴムバンドでない; fact7 -> int5: あの点数が農業開発でないならゴムバンドであるし加えてそれは浅い; int5 & fact8 -> int6: あの点数はゴムバンドでしかも浅い; int6 -> int7: あの点数はゴムバンドである; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: 仮に面白おかしい物が敵潜水艦ならそれはゴムバンドでない
事実2: あの点数が機械改良だしそれは敵潜水艦である
事実3: 仮になんらかの物は農業開発でないとするとそれは浅い
事実4: あの点数が農業開発でないとすればそれは浅い
事実5: あの点数は浅い
事実6: もし仮にこの傾聴は機械改良だとすれば「「あの庭園は敵潜水艦だけど面白おかしくない」ということは確かである」ということは間違いだ
事実7: もしもある物は農業開発でないとしたらゴムバンドであるしその上浅い
事実8: あの点数は農業開発でない
事実9: あの点数は機械改良だ
事実10: もし「あの庭園は農業開発でないけどゴムバンドだ」ということは間違いだとすればゴムバンドでない
事実11: もし仮に何らかのものは機械改良であるとすれば浅い
事実12: 仮にあの点数が機械改良ならばその統計的要約指標は機械改良である
事実13: もしもあの点数が有すしさらにそれが阿呆らしいとしたらそれはしゃあ無くない
事実14: もしこの傾聴は溶接跡でないなら「あの庭園は農業開発でないがしかしそれはゴムバンドである」ということは成り立つということはない
事実15: もし仮になにがしかの物は農業開発だとすれば「それはゴムバンドであるしかつそれは浅くない」ということは間違いだ
事実16: 「このプロセス組織は敵潜水艦である」ということは成り立つ
事実17: もしも「何らかの物はゴムバンドであるけど浅くない」ということは間違っているとすれば機械改良である
事実18: あの数値化は参ぜない
事実19: 仮にあの庭園はゴムバンドであるということはないとすれば敵潜水艦で面白おかしい
事実20: もしも「とある物は敵潜水艦でなくて機械改良でない」ということは確かでないとしたら機械改良だ

仮説: あの点数は面白おかしい
1. 事実2から、推論1: "あの点数は敵潜水艦だ"が導かれる
2. 仮定1: 以下のように仮定する。あの点数は面白おかしい
3. 推論1と仮定1から、推論2: "あの点数は面白おかしいしさらに敵潜水艦だ"が導かれる
4. 事実1から、推論3: "もし仮にあの点数は面白おかしくて敵潜水艦であるならそれはゴムバンドでない"が導かれる
5. 推論2と推論3から、推論4: "あの点数はゴムバンドでない"が導かれる
6. 事実7から、推論5: "あの点数が農業開発でないならゴムバンドであるし加えてそれは浅い"が導かれる
7. 推論5と事実8から、推論6: "あの点数はゴムバンドでしかも浅い"が導かれる
8. 推論6から、推論7: "あの点数はゴムバンドである"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が否定される

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