「なにがしかの物はパプリカだ」ということは成り立たない
fact1: そのイメージキャラクターは試食する fact2: もしそのイメージキャラクターが伸ばし易くないしその上それが狂おしいということはないならあのアトラクターは起き上がれる fact3: あのアトラクターは伸ばし易いけれどそれは起き上がれない fact4: 「そのイメージキャラクターは伸ばし易い」ということは事実だ fact5: そのイメージキャラクターは狂おしくない fact6: 「あのアトラクターが起き上はれないしそれにパプリカでない」ということは確かであるとすれば「そのイメージキャラクターは狂おしい」ということは本当である fact7: 「あのアトラクターは伸ばし易い」ということは確かだ fact8: もしもそのイメージキャラクターがパプリカだということはなくてそれにそれが起き上がれないならあのアトラクターは狂おしい fact9: そのイメージキャラクターは転調しないしかつそれは息苦しくない fact10: もしそのイメージキャラクターが狂おしいということはなくてかつ起き上がれないとしたらあのアトラクターはパプリカである
fact3 -> int1: あのアトラクターは起き上がれない; void -> assump1: 以下のように仮定する。あのアトラクターはパプリカでない; int1 & assump1 -> int2: あのアトラクターが起き上はれないしパプリカでない; int2 & fact6 -> int3: そのイメージキャラクターは狂おしい; int3 & fact5 -> int4: これは矛盾である; [assump1] & int4 -> int5: あのアトラクターはパプリカである; int5 -> hypothesis;
$facts$ = fact1: そのイメージキャラクターは試食する fact2: もしそのイメージキャラクターが伸ばし易くないしその上それが狂おしいということはないならあのアトラクターは起き上がれる fact3: あのアトラクターは伸ばし易いけれどそれは起き上がれない fact4: 「そのイメージキャラクターは伸ばし易い」ということは事実だ fact5: そのイメージキャラクターは狂おしくない fact6: 「あのアトラクターが起き上はれないしそれにパプリカでない」ということは確かであるとすれば「そのイメージキャラクターは狂おしい」ということは本当である fact7: 「あのアトラクターは伸ばし易い」ということは確かだ fact8: もしもそのイメージキャラクターがパプリカだということはなくてそれにそれが起き上がれないならあのアトラクターは狂おしい fact9: そのイメージキャラクターは転調しないしかつそれは息苦しくない fact10: もしそのイメージキャラクターが狂おしいということはなくてかつ起き上がれないとしたらあのアトラクターはパプリカである ; $hypothesis$ = 「なにがしかの物はパプリカだ」ということは成り立たない ; $proof$ = 
fact3 -> int1: あのアトラクターは起き上がれない; void -> assump1: 以下のように仮定する。あのアトラクターはパプリカでない; int1 & assump1 -> int2: あのアトラクターが起き上はれないしパプリカでない; int2 & fact6 -> int3: そのイメージキャラクターは狂おしい; int3 & fact5 -> int4: これは矛盾である; [assump1] & int4 -> int5: あのアトラクターはパプリカである; int5 -> hypothesis; __DISPROVED__
事実1: そのイメージキャラクターは試食する
事実2: もしそのイメージキャラクターが伸ばし易くないしその上それが狂おしいということはないならあのアトラクターは起き上がれる
事実3: あのアトラクターは伸ばし易いけれどそれは起き上がれない
事実4: 「そのイメージキャラクターは伸ばし易い」ということは事実だ
事実5: そのイメージキャラクターは狂おしくない
事実6: 「あのアトラクターが起き上はれないしそれにパプリカでない」ということは確かであるとすれば「そのイメージキャラクターは狂おしい」ということは本当である
事実7: 「あのアトラクターは伸ばし易い」ということは確かだ
事実8: もしもそのイメージキャラクターがパプリカだということはなくてそれにそれが起き上がれないならあのアトラクターは狂おしい
事実9: そのイメージキャラクターは転調しないしかつそれは息苦しくない
事実10: もしそのイメージキャラクターが狂おしいということはなくてかつ起き上がれないとしたらあのアトラクターはパプリカである

仮説: 「なにがしかの物はパプリカだ」ということは成り立たない
1. 事実3から、推論1: "あのアトラクターは起き上がれない"が導かれる
2. 仮定1: 以下のように仮定する。あのアトラクターはパプリカでない
3. 推論1と仮定1から、推論2: "あのアトラクターが起き上はれないしパプリカでない"が導かれる
4. 推論2と事実6から、推論3: "そのイメージキャラクターは狂おしい"が導かれる
5. 推論3と事実5から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あのアトラクターはパプリカである"が導かれる
7. 推論5から、仮説が否定される

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