「「「「「駆け戻らないしまた一年先である」ということは成り立つ」ということは真実だということはないとすると掲示しない」物はある」ということは成り立つ」ということは成り立たない
fact1: 「もし駆け戻れば掲示するということはない」物はある fact2: もしもこのペリー・ピーが掲示しないがしかし変数Ｘだとしたら「照準しない」ということは成り立つ fact3: もしこのスイートエリアは人工心肺でないけど一年先だとしたらそれは年季明後でない fact4: もしも「何らかのものは修復しないがしかし掲示する」ということは事実と異なれば分節化しない fact5: もしあの歌謡ショーが拡散しないとしたらそれは恙無くない fact6: もし「あの歌謡ショーは補注でないけれど掲示する」ということは成り立たないならば「動揺し易い」ということは確かである fact7: 仮に「あるものは駆け戻らないけど一年先である」ということは成り立たないとしたら掲示しない fact8: 「「仮に駆け戻らないしそれに一年先であるなら掲示しない」ものはある」ということは成り立つ fact9: 「痛ましくないなら急変しない」物はある fact10: 「「痛ましくて更に清々しい」ということは誤りだとしたら筋収縮でない」物はある fact11: もしなんらかの物は保証利回りでない一方で汗臭いなら内部化しない fact12: 「あるものは盲検でないが出現し易い」ということは成り立たないなら「それはリスト表示する」ということは成り立つ
fact7 -> int1: もし「あの歌謡ショーは駆け戻らない一方で一年先である」ということは誤りであるとしたらそれは掲示しない; int1 -> hypothesis;
fact7 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
仮に「あの俗楽は修復しないがしかし掲示する」ということは事実と異なるとすればそれは分節化しない
fact13 -> hypothesis;
$facts$ = fact1: 「もし駆け戻れば掲示するということはない」物はある fact2: もしもこのペリー・ピーが掲示しないがしかし変数Ｘだとしたら「照準しない」ということは成り立つ fact3: もしこのスイートエリアは人工心肺でないけど一年先だとしたらそれは年季明後でない fact4: もしも「何らかのものは修復しないがしかし掲示する」ということは事実と異なれば分節化しない fact5: もしあの歌謡ショーが拡散しないとしたらそれは恙無くない fact6: もし「あの歌謡ショーは補注でないけれど掲示する」ということは成り立たないならば「動揺し易い」ということは確かである fact7: 仮に「あるものは駆け戻らないけど一年先である」ということは成り立たないとしたら掲示しない fact8: 「「仮に駆け戻らないしそれに一年先であるなら掲示しない」ものはある」ということは成り立つ fact9: 「痛ましくないなら急変しない」物はある fact10: 「「痛ましくて更に清々しい」ということは誤りだとしたら筋収縮でない」物はある fact11: もしなんらかの物は保証利回りでない一方で汗臭いなら内部化しない fact12: 「あるものは盲検でないが出現し易い」ということは成り立たないなら「それはリスト表示する」ということは成り立つ ; $hypothesis$ = 「「「「「駆け戻らないしまた一年先である」ということは成り立つ」ということは真実だということはないとすると掲示しない」物はある」ということは成り立つ」ということは成り立たない ; $proof$ = 
fact7 -> int1: もし「あの歌謡ショーは駆け戻らない一方で一年先である」ということは誤りであるとしたらそれは掲示しない; int1 -> hypothesis; __DISPROVED__
事実1: 「もし駆け戻れば掲示するということはない」物はある
事実2: もしもこのペリー・ピーが掲示しないがしかし変数Ｘだとしたら「照準しない」ということは成り立つ
事実3: もしこのスイートエリアは人工心肺でないけど一年先だとしたらそれは年季明後でない
事実4: もしも「何らかのものは修復しないがしかし掲示する」ということは事実と異なれば分節化しない
事実5: もしあの歌謡ショーが拡散しないとしたらそれは恙無くない
事実6: もし「あの歌謡ショーは補注でないけれど掲示する」ということは成り立たないならば「動揺し易い」ということは確かである
事実7: 仮に「あるものは駆け戻らないけど一年先である」ということは成り立たないとしたら掲示しない
事実8: 「「仮に駆け戻らないしそれに一年先であるなら掲示しない」ものはある」ということは成り立つ
事実9: 「痛ましくないなら急変しない」物はある
事実10: 「「痛ましくて更に清々しい」ということは誤りだとしたら筋収縮でない」物はある
事実11: もしなんらかの物は保証利回りでない一方で汗臭いなら内部化しない
事実12: 「あるものは盲検でないが出現し易い」ということは成り立たないなら「それはリスト表示する」ということは成り立つ

仮説: 「「「「「駆け戻らないしまた一年先である」ということは成り立つ」ということは真実だということはないとすると掲示しない」物はある」ということは成り立つ」ということは成り立たない
1. 事実7から、推論1: "もし「あの歌謡ショーは駆け戻らない一方で一年先である」ということは誤りであるとしたらそれは掲示しない"が導かれる
2. 推論1から、仮説が否定される

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