「あの奏聞は据え置き型でないけれど腑甲斐無い」ということは偽である
fact1: このエロアニメは村落共同体だ一方で喧伝しない fact2: もし仮に「「腑甲斐無いがしかし村落共同体であるということはない」ということは確かな」物があるとしたらその教員は舞台監督である fact3: このエロアニメが村落共同体だしおまけにそれは淫蜜だ fact4: 仮にこのエロアニメが淫蜜でないならばその教員は差異化するしそれにおもろい fact5: もしあの奏聞はごついとすると「それはおもろくないしおまけに村落共同体だ」ということは成り立たない fact6: もしその教員が差異化するならばあの入学祝いは太しが緊急ミーティングでない fact7: あの奏聞は淫蜜だがしかし据え置き型だということはない fact8: 仮にあるものがおもろくてそれは淫蜜であるなら「差異化するということはない」ということは正しい fact9: 仮におもろい物が淫蜜なら腑甲斐無くない fact10: その教員は舞台監督である fact11: あの奏聞は舞台監督である fact12: もしも何らかの物は差異化するということはないとすると「それは据え置き型でないけど腑甲斐無い」ということは間違いだ fact13: とある物はぼやかすということはない fact14: 仮に据え置き型が差異化するということはないならあの奏聞は舞台監督である fact15: もし仮にこのエロアニメが腑甲斐無くないとしたらあの奏聞は据え置き型でないけれど腑甲斐無い fact16: 何らかのものは舞台監督だ一方で喧伝しないとすれば「このエロアニメはおもろい」ということは確かだ fact17: その入学祝いは差異化する fact18: もし「とあるものはおもろいということはないが村落共同体だ」ということは間違っているとするとおもろい fact19: その入学祝いが差異化するとすればその教員は舞台監督だ一方で喧伝しない fact20: その教員は訴求しない
fact19 & fact17 -> int1: その教員は舞台監督であるがしかし喧伝しない; int1 -> int2: あるものは舞台監督であるが喧伝しない; int2 & fact16 -> int3: 「このエロアニメはおもろい」ということは間違っていない; fact3 -> int4: このエロアニメは淫蜜だ; int3 & int4 -> int5: このエロアニメはおもろくて淫蜜である; fact9 -> int6: 仮にこのエロアニメがおもろくて淫蜜であるならばそれは腑甲斐無くない; int5 & int6 -> int7: このエロアニメは腑甲斐無くない; int7 & fact15 -> hypothesis;
「太しけれど緊急ミーティングでない」物はある
$facts$ = fact1: このエロアニメは村落共同体だ一方で喧伝しない fact2: もし仮に「「腑甲斐無いがしかし村落共同体であるということはない」ということは確かな」物があるとしたらその教員は舞台監督である fact3: このエロアニメが村落共同体だしおまけにそれは淫蜜だ fact4: 仮にこのエロアニメが淫蜜でないならばその教員は差異化するしそれにおもろい fact5: もしあの奏聞はごついとすると「それはおもろくないしおまけに村落共同体だ」ということは成り立たない fact6: もしその教員が差異化するならばあの入学祝いは太しが緊急ミーティングでない fact7: あの奏聞は淫蜜だがしかし据え置き型だということはない fact8: 仮にあるものがおもろくてそれは淫蜜であるなら「差異化するということはない」ということは正しい fact9: 仮におもろい物が淫蜜なら腑甲斐無くない fact10: その教員は舞台監督である fact11: あの奏聞は舞台監督である fact12: もしも何らかの物は差異化するということはないとすると「それは据え置き型でないけど腑甲斐無い」ということは間違いだ fact13: とある物はぼやかすということはない fact14: 仮に据え置き型が差異化するということはないならあの奏聞は舞台監督である fact15: もし仮にこのエロアニメが腑甲斐無くないとしたらあの奏聞は据え置き型でないけれど腑甲斐無い fact16: 何らかのものは舞台監督だ一方で喧伝しないとすれば「このエロアニメはおもろい」ということは確かだ fact17: その入学祝いは差異化する fact18: もし「とあるものはおもろいということはないが村落共同体だ」ということは間違っているとするとおもろい fact19: その入学祝いが差異化するとすればその教員は舞台監督だ一方で喧伝しない fact20: その教員は訴求しない ; $hypothesis$ = 「あの奏聞は据え置き型でないけれど腑甲斐無い」ということは偽である ; $proof$ = 
fact19 & fact17 -> int1: その教員は舞台監督であるがしかし喧伝しない; int1 -> int2: あるものは舞台監督であるが喧伝しない; int2 & fact16 -> int3: 「このエロアニメはおもろい」ということは間違っていない; fact3 -> int4: このエロアニメは淫蜜だ; int3 & int4 -> int5: このエロアニメはおもろくて淫蜜である; fact9 -> int6: 仮にこのエロアニメがおもろくて淫蜜であるならばそれは腑甲斐無くない; int5 & int6 -> int7: このエロアニメは腑甲斐無くない; int7 & fact15 -> hypothesis; __DISPROVED__
事実1: このエロアニメは村落共同体だ一方で喧伝しない
事実2: もし仮に「「腑甲斐無いがしかし村落共同体であるということはない」ということは確かな」物があるとしたらその教員は舞台監督である
事実3: このエロアニメが村落共同体だしおまけにそれは淫蜜だ
事実4: 仮にこのエロアニメが淫蜜でないならばその教員は差異化するしそれにおもろい
事実5: もしあの奏聞はごついとすると「それはおもろくないしおまけに村落共同体だ」ということは成り立たない
事実6: もしその教員が差異化するならばあの入学祝いは太しが緊急ミーティングでない
事実7: あの奏聞は淫蜜だがしかし据え置き型だということはない
事実8: 仮にあるものがおもろくてそれは淫蜜であるなら「差異化するということはない」ということは正しい
事実9: 仮におもろい物が淫蜜なら腑甲斐無くない
事実10: その教員は舞台監督である
事実11: あの奏聞は舞台監督である
事実12: もしも何らかの物は差異化するということはないとすると「それは据え置き型でないけど腑甲斐無い」ということは間違いだ
事実13: とある物はぼやかすということはない
事実14: 仮に据え置き型が差異化するということはないならあの奏聞は舞台監督である
事実15: もし仮にこのエロアニメが腑甲斐無くないとしたらあの奏聞は据え置き型でないけれど腑甲斐無い
事実16: 何らかのものは舞台監督だ一方で喧伝しないとすれば「このエロアニメはおもろい」ということは確かだ
事実17: その入学祝いは差異化する
事実18: もし「とあるものはおもろいということはないが村落共同体だ」ということは間違っているとするとおもろい
事実19: その入学祝いが差異化するとすればその教員は舞台監督だ一方で喧伝しない
事実20: その教員は訴求しない

仮説: 「あの奏聞は据え置き型でないけれど腑甲斐無い」ということは偽である
1. 事実19と事実17から、推論1: "その教員は舞台監督であるがしかし喧伝しない"が導かれる
2. 推論1から、推論2: "あるものは舞台監督であるが喧伝しない"が導かれる
3. 推論2と事実16から、推論3: "「このエロアニメはおもろい」ということは間違っていない"が導かれる
4. 事実3から、推論4: "このエロアニメは淫蜜だ"が導かれる
5. 推論3と推論4から、推論5: "このエロアニメはおもろくて淫蜜である"が導かれる
6. 事実9から、推論6: "仮にこのエロアニメがおもろくて淫蜜であるならばそれは腑甲斐無くない"が導かれる
7. 推論5と推論6から、推論7: "このエロアニメは腑甲斐無くない"が導かれる
8. 推論7と事実15から、仮説が否定される

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