あの三列は演劇である
fact1: 仮に「見入らない」物はあるとすると「「あの歴史観が演劇だしそれは如何わしい」ということは成り立つ」ということは誤っている fact2: あの三列がめでたしないとしたら演劇でない fact3: 「起こし難い」物はある fact4: もしもあるものが鸚鵡真理教だということはないとしたら態とらしいということはない fact5: もしあるものは甘酸っぱくないなら「それは使用フォントだし更に座り込む」ということは事実と異なる fact6: もしも「その知見は使用フォントであるし座り込む」ということは偽であるならこの追従は座り込まない fact7: 仮にその恥骨弓が通婚する一方でそれが蝦蛄だということはないとするとそれは形状関数でない fact8: もし仮になんらかのものが座り込まないならそれは共闘するし加えて有り余る fact9: 「有り余らない」物はある fact10: その恥骨弓が形状関数でないとしたらその掻痒は私らしいということはない fact11: もしその掻痒は私らしくないならば「食い殺すし更に甘酸っぱい」ということは誤りである fact12: もしもとある物は演劇でないとしたら「あの三列は再発し易いしインプロバイザーだ」ということは誤りだ fact13: 仮に「この追従は有り余る」ということは本当であるならばあの三列は演劇だ fact14: なんらかの物が座り込まないとしたらそれは演劇でない fact15: もしも「「有り余るということはない」ということは事実な」物はあれば「あの三列は共闘するしかつそれは座り込む」ということは成り立たない fact16: 仮に「なんらかの物は共闘するし座り込む」ということは成り立たないとすれば演劇でない
fact9 & fact15 -> int1: 「あの三列は共闘するしそれは座り込む」ということは誤っている; fact16 -> int2: もし「あの三列は共闘するし座り込む」ということは間違いであるならそれは演劇だということはない; int1 & int2 -> hypothesis;
fact9 & fact15 -> int1: ¬({B}{a} & {C}{a}); fact16 -> int2: ¬({B}{a} & {C}{a}) -> ¬{D}{a}; int1 & int2 -> hypothesis;
あの三列は演劇である
fact18 -> int3: もし仮にこの追従が座り込まないならそれは共闘するし加えてそれは有り余る; fact17 -> int4: もしその知見は甘酸っぱくないとすれば「それは使用フォントであるしかつ座り込む」ということは事実と異なる;
$facts$ = fact1: 仮に「見入らない」物はあるとすると「「あの歴史観が演劇だしそれは如何わしい」ということは成り立つ」ということは誤っている fact2: あの三列がめでたしないとしたら演劇でない fact3: 「起こし難い」物はある fact4: もしもあるものが鸚鵡真理教だということはないとしたら態とらしいということはない fact5: もしあるものは甘酸っぱくないなら「それは使用フォントだし更に座り込む」ということは事実と異なる fact6: もしも「その知見は使用フォントであるし座り込む」ということは偽であるならこの追従は座り込まない fact7: 仮にその恥骨弓が通婚する一方でそれが蝦蛄だということはないとするとそれは形状関数でない fact8: もし仮になんらかのものが座り込まないならそれは共闘するし加えて有り余る fact9: 「有り余らない」物はある fact10: その恥骨弓が形状関数でないとしたらその掻痒は私らしいということはない fact11: もしその掻痒は私らしくないならば「食い殺すし更に甘酸っぱい」ということは誤りである fact12: もしもとある物は演劇でないとしたら「あの三列は再発し易いしインプロバイザーだ」ということは誤りだ fact13: 仮に「この追従は有り余る」ということは本当であるならばあの三列は演劇だ fact14: なんらかの物が座り込まないとしたらそれは演劇でない fact15: もしも「「有り余るということはない」ということは事実な」物はあれば「あの三列は共闘するしかつそれは座り込む」ということは成り立たない fact16: 仮に「なんらかの物は共闘するし座り込む」ということは成り立たないとすれば演劇でない ; $hypothesis$ = あの三列は演劇である ; $proof$ = 
fact9 & fact15 -> int1: 「あの三列は共闘するしそれは座り込む」ということは誤っている; fact16 -> int2: もし「あの三列は共闘するし座り込む」ということは間違いであるならそれは演劇だということはない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮に「見入らない」物はあるとすると「「あの歴史観が演劇だしそれは如何わしい」ということは成り立つ」ということは誤っている
事実2: あの三列がめでたしないとしたら演劇でない
事実3: 「起こし難い」物はある
事実4: もしもあるものが鸚鵡真理教だということはないとしたら態とらしいということはない
事実5: もしあるものは甘酸っぱくないなら「それは使用フォントだし更に座り込む」ということは事実と異なる
事実6: もしも「その知見は使用フォントであるし座り込む」ということは偽であるならこの追従は座り込まない
事実7: 仮にその恥骨弓が通婚する一方でそれが蝦蛄だということはないとするとそれは形状関数でない
事実8: もし仮になんらかのものが座り込まないならそれは共闘するし加えて有り余る
事実9: 「有り余らない」物はある
事実10: その恥骨弓が形状関数でないとしたらその掻痒は私らしいということはない
事実11: もしその掻痒は私らしくないならば「食い殺すし更に甘酸っぱい」ということは誤りである
事実12: もしもとある物は演劇でないとしたら「あの三列は再発し易いしインプロバイザーだ」ということは誤りだ
事実13: 仮に「この追従は有り余る」ということは本当であるならばあの三列は演劇だ
事実14: なんらかの物が座り込まないとしたらそれは演劇でない
事実15: もしも「「有り余るということはない」ということは事実な」物はあれば「あの三列は共闘するしかつそれは座り込む」ということは成り立たない
事実16: 仮に「なんらかの物は共闘するし座り込む」ということは成り立たないとすれば演劇でない

仮説: あの三列は演劇である
1. 事実9と事実15から、推論1: "「あの三列は共闘するしそれは座り込む」ということは誤っている"が導かれる
2. 事実16から、推論2: "もし「あの三列は共闘するし座り込む」ということは間違いであるならそれは演劇だということはない"が導かれる
3. 推論1と推論2から、仮説が否定される

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