「「「思い出深くない」ということは成り立つということはない」物はある」ということは偽だ
fact1: この一戦は思い出深くないが帰隊する fact2: なにがしかのものはややこしくない fact3: 「重苦しい」物はある fact4: その南麓はややこしくない fact5: この一戦はややこしくないがしかし帰隊する fact6: 「大壺でないし会員・オーナーな」ものはある fact7: 「「小祠でない」ということは成り立つ」ものはある fact8: 「この一戦は思い出深いということはない」ということは間違いでない fact9: もしも何かはややこしいし思い出深いなら「その欧州レベルは帰隊する」ということは成り立つ fact10: 「灰汁抜きする」ものはある fact11: 「軽々しかない」ものはある fact12: 何らかのものは帰隊する fact13: もし仮に「思い出深くなくて更にややこしい」物があるとしたらその欧州レベルは帰隊する fact14: 「「逆立ちしない」ということは事実である」ものはある fact15: 「薄いということはない」物はある fact16: 「疑い深くないし伝達手段な」ものはある fact17: 「白々しいということはない」ものはある fact18: 「この一戦は指定しない一方で杓子岳である」ということは本当だ fact19: 「モジュール化するということはないが踏み入る」物はある fact20: もし仮にある物がややこしくないけど帰隊するならばあの欧州レベルは思い出深い
fact5 -> int1: 何かはややこしくないがそれは帰隊する; int1 & fact20 -> int2: その欧州レベルは思い出深い; int2 -> hypothesis;
$facts$ = fact1: この一戦は思い出深くないが帰隊する fact2: なにがしかのものはややこしくない fact3: 「重苦しい」物はある fact4: その南麓はややこしくない fact5: この一戦はややこしくないがしかし帰隊する fact6: 「大壺でないし会員・オーナーな」ものはある fact7: 「「小祠でない」ということは成り立つ」ものはある fact8: 「この一戦は思い出深いということはない」ということは間違いでない fact9: もしも何かはややこしいし思い出深いなら「その欧州レベルは帰隊する」ということは成り立つ fact10: 「灰汁抜きする」ものはある fact11: 「軽々しかない」ものはある fact12: 何らかのものは帰隊する fact13: もし仮に「思い出深くなくて更にややこしい」物があるとしたらその欧州レベルは帰隊する fact14: 「「逆立ちしない」ということは事実である」ものはある fact15: 「薄いということはない」物はある fact16: 「疑い深くないし伝達手段な」ものはある fact17: 「白々しいということはない」ものはある fact18: 「この一戦は指定しない一方で杓子岳である」ということは本当だ fact19: 「モジュール化するということはないが踏み入る」物はある fact20: もし仮にある物がややこしくないけど帰隊するならばあの欧州レベルは思い出深い ; $hypothesis$ = 「「「思い出深くない」ということは成り立つということはない」物はある」ということは偽だ ; $proof$ = 
fact5 -> int1: 何かはややこしくないがそれは帰隊する; int1 & fact20 -> int2: その欧州レベルは思い出深い; int2 -> hypothesis; __DISPROVED__
事実1: この一戦は思い出深くないが帰隊する
事実2: なにがしかのものはややこしくない
事実3: 「重苦しい」物はある
事実4: その南麓はややこしくない
事実5: この一戦はややこしくないがしかし帰隊する
事実6: 「大壺でないし会員・オーナーな」ものはある
事実7: 「「小祠でない」ということは成り立つ」ものはある
事実8: 「この一戦は思い出深いということはない」ということは間違いでない
事実9: もしも何かはややこしいし思い出深いなら「その欧州レベルは帰隊する」ということは成り立つ
事実10: 「灰汁抜きする」ものはある
事実11: 「軽々しかない」ものはある
事実12: 何らかのものは帰隊する
事実13: もし仮に「思い出深くなくて更にややこしい」物があるとしたらその欧州レベルは帰隊する
事実14: 「「逆立ちしない」ということは事実である」ものはある
事実15: 「薄いということはない」物はある
事実16: 「疑い深くないし伝達手段な」ものはある
事実17: 「白々しいということはない」ものはある
事実18: 「この一戦は指定しない一方で杓子岳である」ということは本当だ
事実19: 「モジュール化するということはないが踏み入る」物はある
事実20: もし仮にある物がややこしくないけど帰隊するならばあの欧州レベルは思い出深い

仮説: 「「「思い出深くない」ということは成り立つということはない」物はある」ということは偽だ
1. 事実5から、推論1: "何かはややこしくないがそれは帰隊する"が導かれる
2. 推論1と事実20から、推論2: "その欧州レベルは思い出深い"が導かれる
3. 推論2から、仮説が否定される

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