「この招待が占領下だけど啓蒙書でない」ということは誤っている
fact1: 仮に「なにかは言い添えるししかもそれは興奮し易い」ということは誤りなら「興奮し易くない」ということは確かだ fact2: ある物は売り払うとすると「それは悪賢くないけれどそっくり返る」ということは成り立つということはない fact3: 「「その警告メッセージは馬鹿でかいけどそっくり返らない」ということは誤りである」ということは確かだ fact4: その領域ＡＳは悪賢くなくてそれは占領下でない fact5: もし仮にその警告メッセージがそっくり返らないとしたらこの招待は継続し難くて加えてそれは馬鹿でかい fact6: もし仮に継続し難いということはない物はあれば「その警告メッセージは馬鹿でかくない一方でそっくり返る」ということは嘘である fact7: 「継続し難くない」物はある fact8: 「この蕎麦猪口はそっくり返るということはない」ということは成り立つ fact9: 「その領域ＡＳは悪賢くないしおまけに馬鹿でかくない」ということは成り立つ fact10: 興奮し易くないものは売り払うし煮詰まる fact11: 「そっくり返らない」物はある fact12: もし「その警告メッセージは馬鹿でかくないしそれはそっくり返らない」ということは成り立つということはないならばあの招待は占領下だ fact13: もしも「継続し難いということはない」物はあるとすれば「その警告メッセージは馬鹿でかくないしそっくり返らない」ということは真実だということはない fact14: その領域ＡＳは還元カラムでなくてそれに悪賢くない fact15: もしその領域ＡＳが啓蒙書だということはないが悪賢いとすればあの招待は啓蒙書でない fact16: もしなにがしかの物は継続し難いとすれば「占領下でかつ啓蒙書でない」ということは成り立たない fact17: もし仮に「あるものは悪賢くない一方でそっくり返る」ということは嘘ならそれはそっくり返らない fact18: その領域ＡＳは酸っぱいしまた中取りする fact19: その領域ＡＳは啓蒙書でなくてしかも悪賢くない fact20: もしもその領域ＡＳが啓蒙書でないしおまけにそれは悪賢くないとしたら「この招待は啓蒙書でない」ということは正しい
fact7 & fact13 -> int1: 「その警告メッセージは馬鹿でかくなくておまけにそっくり返らない」ということは間違いだ; int1 & fact12 -> int2: この招待は占領下だ; fact20 & fact19 -> int3: 「この招待は啓蒙書でない」ということは確かである; int2 & int3 -> hypothesis;
「この招待は占領下だ一方でそれは啓蒙書でない」ということは間違っている
fact22 -> int4: もし仮にこの招待は継続し難いとしたら「それは占領下だが啓蒙書であるということはない」ということは成り立たない; fact24 -> int5: 「「その警告メッセージは悪賢くないけどそっくり返る」ということは成り立つということはない」ということは事実であるとすればそっくり返らない; fact21 -> int6: 仮にその警告メッセージは売り払うなら「それは悪賢くないけれどそっくり返る」ということは事実と異なる; fact26 -> int7: もし仮にその警告メッセージは興奮し易くないとすると売り払うし煮詰まる; fact23 -> int8: 仮に「その警告メッセージは言い添えるしかつ興奮し易い」ということは偽であるとしたら興奮し易くない; fact27 -> int9: その領域ＡＳは中取りする; int9 -> int10: 「中取りする」ものはある;
$facts$ = fact1: 仮に「なにかは言い添えるししかもそれは興奮し易い」ということは誤りなら「興奮し易くない」ということは確かだ fact2: ある物は売り払うとすると「それは悪賢くないけれどそっくり返る」ということは成り立つということはない fact3: 「「その警告メッセージは馬鹿でかいけどそっくり返らない」ということは誤りである」ということは確かだ fact4: その領域ＡＳは悪賢くなくてそれは占領下でない fact5: もし仮にその警告メッセージがそっくり返らないとしたらこの招待は継続し難くて加えてそれは馬鹿でかい fact6: もし仮に継続し難いということはない物はあれば「その警告メッセージは馬鹿でかくない一方でそっくり返る」ということは嘘である fact7: 「継続し難くない」物はある fact8: 「この蕎麦猪口はそっくり返るということはない」ということは成り立つ fact9: 「その領域ＡＳは悪賢くないしおまけに馬鹿でかくない」ということは成り立つ fact10: 興奮し易くないものは売り払うし煮詰まる fact11: 「そっくり返らない」物はある fact12: もし「その警告メッセージは馬鹿でかくないしそれはそっくり返らない」ということは成り立つということはないならばあの招待は占領下だ fact13: もしも「継続し難いということはない」物はあるとすれば「その警告メッセージは馬鹿でかくないしそっくり返らない」ということは真実だということはない fact14: その領域ＡＳは還元カラムでなくてそれに悪賢くない fact15: もしその領域ＡＳが啓蒙書だということはないが悪賢いとすればあの招待は啓蒙書でない fact16: もしなにがしかの物は継続し難いとすれば「占領下でかつ啓蒙書でない」ということは成り立たない fact17: もし仮に「あるものは悪賢くない一方でそっくり返る」ということは嘘ならそれはそっくり返らない fact18: その領域ＡＳは酸っぱいしまた中取りする fact19: その領域ＡＳは啓蒙書でなくてしかも悪賢くない fact20: もしもその領域ＡＳが啓蒙書でないしおまけにそれは悪賢くないとしたら「この招待は啓蒙書でない」ということは正しい ; $hypothesis$ = 「この招待が占領下だけど啓蒙書でない」ということは誤っている ; $proof$ = 
fact7 & fact13 -> int1: 「その警告メッセージは馬鹿でかくなくておまけにそっくり返らない」ということは間違いだ; int1 & fact12 -> int2: この招待は占領下だ; fact20 & fact19 -> int3: 「この招待は啓蒙書でない」ということは確かである; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 仮に「なにかは言い添えるししかもそれは興奮し易い」ということは誤りなら「興奮し易くない」ということは確かだ
事実2: ある物は売り払うとすると「それは悪賢くないけれどそっくり返る」ということは成り立つということはない
事実3: 「「その警告メッセージは馬鹿でかいけどそっくり返らない」ということは誤りである」ということは確かだ
事実4: その領域ＡＳは悪賢くなくてそれは占領下でない
事実5: もし仮にその警告メッセージがそっくり返らないとしたらこの招待は継続し難くて加えてそれは馬鹿でかい
事実6: もし仮に継続し難いということはない物はあれば「その警告メッセージは馬鹿でかくない一方でそっくり返る」ということは嘘である
事実7: 「継続し難くない」物はある
事実8: 「この蕎麦猪口はそっくり返るということはない」ということは成り立つ
事実9: 「その領域ＡＳは悪賢くないしおまけに馬鹿でかくない」ということは成り立つ
事実10: 興奮し易くないものは売り払うし煮詰まる
事実11: 「そっくり返らない」物はある
事実12: もし「その警告メッセージは馬鹿でかくないしそれはそっくり返らない」ということは成り立つということはないならばあの招待は占領下だ
事実13: もしも「継続し難いということはない」物はあるとすれば「その警告メッセージは馬鹿でかくないしそっくり返らない」ということは真実だということはない
事実14: その領域ＡＳは還元カラムでなくてそれに悪賢くない
事実15: もしその領域ＡＳが啓蒙書だということはないが悪賢いとすればあの招待は啓蒙書でない
事実16: もしなにがしかの物は継続し難いとすれば「占領下でかつ啓蒙書でない」ということは成り立たない
事実17: もし仮に「あるものは悪賢くない一方でそっくり返る」ということは嘘ならそれはそっくり返らない
事実18: その領域ＡＳは酸っぱいしまた中取りする
事実19: その領域ＡＳは啓蒙書でなくてしかも悪賢くない
事実20: もしもその領域ＡＳが啓蒙書でないしおまけにそれは悪賢くないとしたら「この招待は啓蒙書でない」ということは正しい

仮説: 「この招待が占領下だけど啓蒙書でない」ということは誤っている
1. 事実7と事実13から、推論1: "「その警告メッセージは馬鹿でかくなくておまけにそっくり返らない」ということは間違いだ"が導かれる
2. 推論1と事実12から、推論2: "この招待は占領下だ"が導かれる
3. 事実20と事実19から、推論3: "「この招待は啓蒙書でない」ということは確かである"が導かれる
4. 推論2と推論3から、仮説が否定される

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