あのコンピュータプログラムは殺到である
fact1: 「あの物理的定義は笑い始めないけれど仲違いする」ということは成り立たない fact2: 「この小説は御詳しい」ということは事実であるとすれば揉み始める fact3: もしもこの小説が御邪魔するし目敏いとするとあのコンピュータプログラムは殺到でない fact4: もし仮にこの小説は印刷システムでないとするとそれは目敏い fact5: 「この小説は御邪魔する」ということは真実である fact6: もしもこの小説が印刷システムであるけど白菜キムチでないとすればあのコンピュータプログラムは揉み始めるということはない fact7: 「「あの物理的定義は笑い始めないがそれは仲違いする」ということは本当だ」ということは成り立たないとすればこの小説は揉み始めない fact8: もし仮にあの物理的定義が目敏いならばあの小説は印刷システムであるがしかし白菜キムチでない fact9: 御詳しくないものは白菜キムチであるけれど印刷システムでない
void -> assump1: 以下のように仮定する。この小説は御詳しい; fact2 & assump1 -> int1: この小説は揉み始める; fact7 & fact1 -> int2: 「この小説は揉み始めない」ということは成り立つ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この小説は御詳しいということはない; fact9 -> int5: 仮にこの小説が御詳しいということはないとするとそれは白菜キムチであるけど印刷システムでない; int4 & int5 -> int6: この小説は白菜キムチだがしかし印刷システムだということはない; int6 -> int7: この小説は印刷システムでない; int7 & fact4 -> int8: この小説は目敏い; int8 & fact5 -> int9: この小説は御邪魔するし加えてそれは目敏い; int9 & fact3 -> hypothesis;
あのコンピュータプログラムは殺到だ
$facts$ = fact1: 「あの物理的定義は笑い始めないけれど仲違いする」ということは成り立たない fact2: 「この小説は御詳しい」ということは事実であるとすれば揉み始める fact3: もしもこの小説が御邪魔するし目敏いとするとあのコンピュータプログラムは殺到でない fact4: もし仮にこの小説は印刷システムでないとするとそれは目敏い fact5: 「この小説は御邪魔する」ということは真実である fact6: もしもこの小説が印刷システムであるけど白菜キムチでないとすればあのコンピュータプログラムは揉み始めるということはない fact7: 「「あの物理的定義は笑い始めないがそれは仲違いする」ということは本当だ」ということは成り立たないとすればこの小説は揉み始めない fact8: もし仮にあの物理的定義が目敏いならばあの小説は印刷システムであるがしかし白菜キムチでない fact9: 御詳しくないものは白菜キムチであるけれど印刷システムでない ; $hypothesis$ = あのコンピュータプログラムは殺到である ; $proof$ = 
void -> assump1: 以下のように仮定する。この小説は御詳しい; fact2 & assump1 -> int1: この小説は揉み始める; fact7 & fact1 -> int2: 「この小説は揉み始めない」ということは成り立つ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この小説は御詳しいということはない; fact9 -> int5: 仮にこの小説が御詳しいということはないとするとそれは白菜キムチであるけど印刷システムでない; int4 & int5 -> int6: この小説は白菜キムチだがしかし印刷システムだということはない; int6 -> int7: この小説は印刷システムでない; int7 & fact4 -> int8: この小説は目敏い; int8 & fact5 -> int9: この小説は御邪魔するし加えてそれは目敏い; int9 & fact3 -> hypothesis; __DISPROVED__
事実1: 「あの物理的定義は笑い始めないけれど仲違いする」ということは成り立たない
事実2: 「この小説は御詳しい」ということは事実であるとすれば揉み始める
事実3: もしもこの小説が御邪魔するし目敏いとするとあのコンピュータプログラムは殺到でない
事実4: もし仮にこの小説は印刷システムでないとするとそれは目敏い
事実5: 「この小説は御邪魔する」ということは真実である
事実6: もしもこの小説が印刷システムであるけど白菜キムチでないとすればあのコンピュータプログラムは揉み始めるということはない
事実7: 「「あの物理的定義は笑い始めないがそれは仲違いする」ということは本当だ」ということは成り立たないとすればこの小説は揉み始めない
事実8: もし仮にあの物理的定義が目敏いならばあの小説は印刷システムであるがしかし白菜キムチでない
事実9: 御詳しくないものは白菜キムチであるけれど印刷システムでない

仮説: あのコンピュータプログラムは殺到である
1. 仮定1: 以下のように仮定する。この小説は御詳しい
2. 事実2と仮定1から、推論1: "この小説は揉み始める"が導かれる
3. 事実7と事実1から、推論2: "「この小説は揉み始めない」ということは成り立つ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この小説は御詳しいということはない"が導かれる
6. 事実9から、推論5: "仮にこの小説が御詳しいということはないとするとそれは白菜キムチであるけど印刷システムでない"が導かれる
7. 推論4と推論5から、推論6: "この小説は白菜キムチだがしかし印刷システムだということはない"が導かれる
8. 推論6から、推論7: "この小説は印刷システムでない"が導かれる
9. 推論7と事実4から、推論8: "この小説は目敏い"が導かれる
10. 推論8と事実5から、推論9: "この小説は御邪魔するし加えてそれは目敏い"が導かれる
11. 推論9と事実3から、仮説が否定される

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