あの商品作物は飽きっぽくないけど苦しい
fact1: 仮になにかは制限酵素であるとしたら「飽きっぽくないが苦しい」ということは成り立たない fact2: 仮にこの理解不能が苦しいならあの商品作物は飽きっぽくない一方で苦しい fact3: この理解不能は矢太夫である fact4: 仮に「何らかのものは気忙しくてそれは物狂おしい」ということは成り立たないなら「気忙しくない」ということは確かだ fact5: 「そのポップ音楽は制限酵素でない」ということは真実である fact6: この理解不能は立ち消えないけどそれは告げ口する fact7: 迷い易い物は制限酵素である fact8: もしそのポップ音楽が飽きっぽくないならば際限無くない fact9: そのポップ音楽は飽きっぽいということはないかもしくは苦しくないかあるいはどちらもである fact10: 仮にその六Ｒは迷い易いなら「そのポップ音楽は際限無い」ということは成り立つ fact11: もし仮にそのポップ音楽は気忙しくないが際限無いならＰＦである fact12: 「そのポップ音楽は気忙しくておまけにそれは物狂おしい」ということは成り立たない fact13: もしも「なんらかのものはＰＦで更にそれは物狂おしい」ということは誤りであるとしたらＰＦでない fact14: もしその六Ｒは制限酵素であるとしたらそれは迷い易い fact15: その六Ｒは制限酵素だ fact16: そのポップ音楽は迷い易くないが磯松である fact17: もしそのポップ音楽がＰＦであるとするとこの理解不能は苦しい fact18: あの商品作物は選択され易い fact19: 「その六Ｒは気忙しい一方で際限無くない」ということは成り立たないならばあの商品作物は迷い易い
fact14 & fact15 -> int1: その六Ｒは迷い易い; int1 & fact10 -> int2: そのポップ音楽は際限無い; fact4 -> int3: もし仮に「そのポップ音楽は気忙しくてさらにそれは物狂おしい」ということは偽ならばそれは気忙しくない; fact12 & int3 -> int4: 「そのポップ音楽は気忙しくない」ということは真実である; int2 & int4 -> int5: そのポップ音楽は気忙しくないがそれは際限無い; int5 & fact11 -> int6: そのポップ音楽はＰＦだ; int6 & fact17 -> int7: この理解不能は苦しい; int7 & fact2 -> hypothesis;
「あの商品作物は飽きっぽくないが苦しい」ということは誤りである
fact22 -> int8: もしもあの商品作物は制限酵素だとしたら「それは飽きっぽくないがしかし苦しい」ということは成り立たない; fact20 -> int9: もし仮にあの商品作物が迷い易いとするとそれは制限酵素である;
$facts$ = fact1: 仮になにかは制限酵素であるとしたら「飽きっぽくないが苦しい」ということは成り立たない fact2: 仮にこの理解不能が苦しいならあの商品作物は飽きっぽくない一方で苦しい fact3: この理解不能は矢太夫である fact4: 仮に「何らかのものは気忙しくてそれは物狂おしい」ということは成り立たないなら「気忙しくない」ということは確かだ fact5: 「そのポップ音楽は制限酵素でない」ということは真実である fact6: この理解不能は立ち消えないけどそれは告げ口する fact7: 迷い易い物は制限酵素である fact8: もしそのポップ音楽が飽きっぽくないならば際限無くない fact9: そのポップ音楽は飽きっぽいということはないかもしくは苦しくないかあるいはどちらもである fact10: 仮にその六Ｒは迷い易いなら「そのポップ音楽は際限無い」ということは成り立つ fact11: もし仮にそのポップ音楽は気忙しくないが際限無いならＰＦである fact12: 「そのポップ音楽は気忙しくておまけにそれは物狂おしい」ということは成り立たない fact13: もしも「なんらかのものはＰＦで更にそれは物狂おしい」ということは誤りであるとしたらＰＦでない fact14: もしその六Ｒは制限酵素であるとしたらそれは迷い易い fact15: その六Ｒは制限酵素だ fact16: そのポップ音楽は迷い易くないが磯松である fact17: もしそのポップ音楽がＰＦであるとするとこの理解不能は苦しい fact18: あの商品作物は選択され易い fact19: 「その六Ｒは気忙しい一方で際限無くない」ということは成り立たないならばあの商品作物は迷い易い ; $hypothesis$ = あの商品作物は飽きっぽくないけど苦しい ; $proof$ = 
fact14 & fact15 -> int1: その六Ｒは迷い易い; int1 & fact10 -> int2: そのポップ音楽は際限無い; fact4 -> int3: もし仮に「そのポップ音楽は気忙しくてさらにそれは物狂おしい」ということは偽ならばそれは気忙しくない; fact12 & int3 -> int4: 「そのポップ音楽は気忙しくない」ということは真実である; int2 & int4 -> int5: そのポップ音楽は気忙しくないがそれは際限無い; int5 & fact11 -> int6: そのポップ音楽はＰＦだ; int6 & fact17 -> int7: この理解不能は苦しい; int7 & fact2 -> hypothesis; __PROVED__
事実1: 仮になにかは制限酵素であるとしたら「飽きっぽくないが苦しい」ということは成り立たない
事実2: 仮にこの理解不能が苦しいならあの商品作物は飽きっぽくない一方で苦しい
事実3: この理解不能は矢太夫である
事実4: 仮に「何らかのものは気忙しくてそれは物狂おしい」ということは成り立たないなら「気忙しくない」ということは確かだ
事実5: 「そのポップ音楽は制限酵素でない」ということは真実である
事実6: この理解不能は立ち消えないけどそれは告げ口する
事実7: 迷い易い物は制限酵素である
事実8: もしそのポップ音楽が飽きっぽくないならば際限無くない
事実9: そのポップ音楽は飽きっぽいということはないかもしくは苦しくないかあるいはどちらもである
事実10: 仮にその六Ｒは迷い易いなら「そのポップ音楽は際限無い」ということは成り立つ
事実11: もし仮にそのポップ音楽は気忙しくないが際限無いならＰＦである
事実12: 「そのポップ音楽は気忙しくておまけにそれは物狂おしい」ということは成り立たない
事実13: もしも「なんらかのものはＰＦで更にそれは物狂おしい」ということは誤りであるとしたらＰＦでない
事実14: もしその六Ｒは制限酵素であるとしたらそれは迷い易い
事実15: その六Ｒは制限酵素だ
事実16: そのポップ音楽は迷い易くないが磯松である
事実17: もしそのポップ音楽がＰＦであるとするとこの理解不能は苦しい
事実18: あの商品作物は選択され易い
事実19: 「その六Ｒは気忙しい一方で際限無くない」ということは成り立たないならばあの商品作物は迷い易い

仮説: あの商品作物は飽きっぽくないけど苦しい
1. 事実14と事実15から、推論1: "その六Ｒは迷い易い"が導かれる
2. 推論1と事実10から、推論2: "そのポップ音楽は際限無い"が導かれる
3. 事実4から、推論3: "もし仮に「そのポップ音楽は気忙しくてさらにそれは物狂おしい」ということは偽ならばそれは気忙しくない"が導かれる
4. 事実12と推論3から、推論4: "「そのポップ音楽は気忙しくない」ということは真実である"が導かれる
5. 推論2と推論4から、推論5: "そのポップ音楽は気忙しくないがそれは際限無い"が導かれる
6. 推論5と事実11から、推論6: "そのポップ音楽はＰＦだ"が導かれる
7. 推論6と事実17から、推論7: "この理解不能は苦しい"が導かれる
8. 推論7と事実2から、仮説が導かれる

よって、仮説が証明されました。