「このジャムは構え易くなくてそれは情報発行・共有でない」ということは誤りである
fact1: 「このジャムは構え易くないけれどそれは情報発行・共有である」ということは偽だ fact2: もし仮にこの無構造は清水産寧坂店であるなら「その漫画史は情報発行・共有でないししかも清水産寧坂店であるということはない」ということは誤りだ fact3: このジャムがＡＬＹだがしかしそれが情報発行・共有だということはないならばその漫画史は見難い fact4: 仮にこのジャムは情報発行・共有であるならば「この無構造は構え易くなくて情報発行・共有でない」ということは偽だ fact5: 見難い物は情報発行・共有である fact6: その漫画史はＡＬＹである一方で清水産寧坂店でない fact7: このジャムはセオリーである fact8: もしもこの無構造は情報発行・共有だとすれば「このジャムは構え易くなくてかつ情報発行・共有でない」ということは成り立たない fact9: 「このジャムは情報発行・共有でないしそれは清水産寧坂店でない」ということは成り立たない fact10: このジャムはＡＬＹである fact11: 「「このジャムはＡＬＹでないしおまけに構え易くない」ということは間違っている」ということは成り立つ fact12: もしその漫画史がＡＬＹだ一方で清水産寧坂店だということはないとしたらこの無構造は見難い fact13: 「この単位記号が繰り返し繰り返さないしさらに様良くない」ということは事実と異なる fact14: もし仮にその漫画史はＡＬＹであるなら「このジャムは情報発行・共有だけどＡＬＹでない」ということは偽だ fact15: 「その漫画史は情報発行・共有であるということはないしおまけにＡＬＹでない」ということは間違いである
fact12 & fact6 -> int1: この無構造は見難い; fact5 -> int2: もしこの無構造が見難いとすればそれは情報発行・共有である; int1 & int2 -> int3: この無構造は情報発行・共有だ; int3 & fact8 -> hypothesis;
$facts$ = fact1: 「このジャムは構え易くないけれどそれは情報発行・共有である」ということは偽だ fact2: もし仮にこの無構造は清水産寧坂店であるなら「その漫画史は情報発行・共有でないししかも清水産寧坂店であるということはない」ということは誤りだ fact3: このジャムがＡＬＹだがしかしそれが情報発行・共有だということはないならばその漫画史は見難い fact4: 仮にこのジャムは情報発行・共有であるならば「この無構造は構え易くなくて情報発行・共有でない」ということは偽だ fact5: 見難い物は情報発行・共有である fact6: その漫画史はＡＬＹである一方で清水産寧坂店でない fact7: このジャムはセオリーである fact8: もしもこの無構造は情報発行・共有だとすれば「このジャムは構え易くなくてかつ情報発行・共有でない」ということは成り立たない fact9: 「このジャムは情報発行・共有でないしそれは清水産寧坂店でない」ということは成り立たない fact10: このジャムはＡＬＹである fact11: 「「このジャムはＡＬＹでないしおまけに構え易くない」ということは間違っている」ということは成り立つ fact12: もしその漫画史がＡＬＹだ一方で清水産寧坂店だということはないとしたらこの無構造は見難い fact13: 「この単位記号が繰り返し繰り返さないしさらに様良くない」ということは事実と異なる fact14: もし仮にその漫画史はＡＬＹであるなら「このジャムは情報発行・共有だけどＡＬＹでない」ということは偽だ fact15: 「その漫画史は情報発行・共有であるということはないしおまけにＡＬＹでない」ということは間違いである ; $hypothesis$ = 「このジャムは構え易くなくてそれは情報発行・共有でない」ということは誤りである ; $proof$ = 
fact12 & fact6 -> int1: この無構造は見難い; fact5 -> int2: もしこの無構造が見難いとすればそれは情報発行・共有である; int1 & int2 -> int3: この無構造は情報発行・共有だ; int3 & fact8 -> hypothesis; __PROVED__
事実1: 「このジャムは構え易くないけれどそれは情報発行・共有である」ということは偽だ
事実2: もし仮にこの無構造は清水産寧坂店であるなら「その漫画史は情報発行・共有でないししかも清水産寧坂店であるということはない」ということは誤りだ
事実3: このジャムがＡＬＹだがしかしそれが情報発行・共有だということはないならばその漫画史は見難い
事実4: 仮にこのジャムは情報発行・共有であるならば「この無構造は構え易くなくて情報発行・共有でない」ということは偽だ
事実5: 見難い物は情報発行・共有である
事実6: その漫画史はＡＬＹである一方で清水産寧坂店でない
事実7: このジャムはセオリーである
事実8: もしもこの無構造は情報発行・共有だとすれば「このジャムは構え易くなくてかつ情報発行・共有でない」ということは成り立たない
事実9: 「このジャムは情報発行・共有でないしそれは清水産寧坂店でない」ということは成り立たない
事実10: このジャムはＡＬＹである
事実11: 「「このジャムはＡＬＹでないしおまけに構え易くない」ということは間違っている」ということは成り立つ
事実12: もしその漫画史がＡＬＹだ一方で清水産寧坂店だということはないとしたらこの無構造は見難い
事実13: 「この単位記号が繰り返し繰り返さないしさらに様良くない」ということは事実と異なる
事実14: もし仮にその漫画史はＡＬＹであるなら「このジャムは情報発行・共有だけどＡＬＹでない」ということは偽だ
事実15: 「その漫画史は情報発行・共有であるということはないしおまけにＡＬＹでない」ということは間違いである

仮説: 「このジャムは構え易くなくてそれは情報発行・共有でない」ということは誤りである
1. 事実12と事実6から、推論1: "この無構造は見難い"が導かれる
2. 事実5から、推論2: "もしこの無構造が見難いとすればそれは情報発行・共有である"が導かれる
3. 推論1と推論2から、推論3: "この無構造は情報発行・共有だ"が導かれる
4. 推論3と事実8から、仮説が導かれる

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