「「眠い」ものはある」ということは成り立たない
fact1: なにがしかの物は取り辛い fact2: この交接は経営出来る fact3: この交接は捜査機関でない fact4: この交接が刀剣でないとすればそれは宝石細工であるし更に捏ち上げる fact5: もしもこの交接は愛しくないなら「それは経営出来る」ということは正しい fact6: そのＧＮＤは刺し違えるしそれは窓枠だ fact7: もしもこの交接が南面しないとするとそれが建設会社だしそれは多し fact8: 「網掛けする」物はある fact9: 「その化仏は愛しい」ということは確かである fact10: この交接は輸入国であるしそれは気恥ずかしい fact11: この交接はページ全体である fact12: 「任せる」ものはある fact13: もし仮に何かはしゃきっとしないならば経営出来るしさらに神示である fact14: 「愛しい」物はある fact15: 「経営出来る」ものはある fact16: もしも「この交接は愛しくない」ということは成り立つとすればそれは経営出来るししかもそれは眠い fact17: あの元祖日の丸軒は愛しい fact18: 「仮にその高純度メシマ瘤菌糸体が眠くないならばその高純度メシマ瘤菌糸体は焼き込む」ということは真実だ fact19: 「あの規制措置は愛しいということはない」ということは成り立つ fact20: もしこの交接は愛しくないとすれば「発光する」ということは成り立つ fact21: この交接は愛しくない
fact16 & fact21 -> int1: この交接が経営出来るしその上眠い; int1 -> int2: この交接は眠い; int2 -> hypothesis;
fact16 & fact21 -> int1: ({AA}{a} & {AB}{a}); int1 -> int2: {AB}{a}; int2 -> hypothesis;
もし仮にこの同時廃止がしゃきっとしないとしたらそれは経営出来るしまた神示だ
fact22 -> hypothesis;
$facts$ = fact1: なにがしかの物は取り辛い fact2: この交接は経営出来る fact3: この交接は捜査機関でない fact4: この交接が刀剣でないとすればそれは宝石細工であるし更に捏ち上げる fact5: もしもこの交接は愛しくないなら「それは経営出来る」ということは正しい fact6: そのＧＮＤは刺し違えるしそれは窓枠だ fact7: もしもこの交接が南面しないとするとそれが建設会社だしそれは多し fact8: 「網掛けする」物はある fact9: 「その化仏は愛しい」ということは確かである fact10: この交接は輸入国であるしそれは気恥ずかしい fact11: この交接はページ全体である fact12: 「任せる」ものはある fact13: もし仮に何かはしゃきっとしないならば経営出来るしさらに神示である fact14: 「愛しい」物はある fact15: 「経営出来る」ものはある fact16: もしも「この交接は愛しくない」ということは成り立つとすればそれは経営出来るししかもそれは眠い fact17: あの元祖日の丸軒は愛しい fact18: 「仮にその高純度メシマ瘤菌糸体が眠くないならばその高純度メシマ瘤菌糸体は焼き込む」ということは真実だ fact19: 「あの規制措置は愛しいということはない」ということは成り立つ fact20: もしこの交接は愛しくないとすれば「発光する」ということは成り立つ fact21: この交接は愛しくない ; $hypothesis$ = 「「眠い」ものはある」ということは成り立たない ; $proof$ = 
fact16 & fact21 -> int1: この交接が経営出来るしその上眠い; int1 -> int2: この交接は眠い; int2 -> hypothesis; __DISPROVED__
事実1: なにがしかの物は取り辛い
事実2: この交接は経営出来る
事実3: この交接は捜査機関でない
事実4: この交接が刀剣でないとすればそれは宝石細工であるし更に捏ち上げる
事実5: もしもこの交接は愛しくないなら「それは経営出来る」ということは正しい
事実6: そのＧＮＤは刺し違えるしそれは窓枠だ
事実7: もしもこの交接が南面しないとするとそれが建設会社だしそれは多し
事実8: 「網掛けする」物はある
事実9: 「その化仏は愛しい」ということは確かである
事実10: この交接は輸入国であるしそれは気恥ずかしい
事実11: この交接はページ全体である
事実12: 「任せる」ものはある
事実13: もし仮に何かはしゃきっとしないならば経営出来るしさらに神示である
事実14: 「愛しい」物はある
事実15: 「経営出来る」ものはある
事実16: もしも「この交接は愛しくない」ということは成り立つとすればそれは経営出来るししかもそれは眠い
事実17: あの元祖日の丸軒は愛しい
事実18: 「仮にその高純度メシマ瘤菌糸体が眠くないならばその高純度メシマ瘤菌糸体は焼き込む」ということは真実だ
事実19: 「あの規制措置は愛しいということはない」ということは成り立つ
事実20: もしこの交接は愛しくないとすれば「発光する」ということは成り立つ
事実21: この交接は愛しくない

仮説: 「「眠い」ものはある」ということは成り立たない
1. 事実16と事実21から、推論1: "この交接が経営出来るしその上眠い"が導かれる
2. 推論1から、推論2: "この交接は眠い"が導かれる
3. 推論2から、仮説が否定される

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