その我々個人は市庁舎だ
fact1: もし仮に「その我々個人は長いということはないけれど悶う」ということは誤りだとすると「あの特別権力関係論は具体論である」ということは成り立つ fact2: もしもあの特別権力関係論が愚物ならそれは具体論だ fact3: 入手し易いものは具体論でない fact4: その我々個人は市庁舎なら「それは長くない一方で悶う」ということは誤っている fact5: 加藤自身は入手し易いが愚物でない fact6: その営為は愚物である fact7: 「その光学測定は折り畳むがしかし不可能性でない」ということは嘘だ fact8: もしなにがしかの物は市庁舎であるならば「それは悶うないけど幅広い」ということは嘘である fact9: 仮に「その収集家は加藤自身でない」ということは間違いでないとしたらその我々個人は加藤自身である fact10: 仮に「その光学測定は折り畳む一方で不可能性でない」ということは成り立たないならランニングである fact11: 愚物は具体論であるということはない fact12: 仮にその我々個人が愚物でないとすればあの特別権力関係論は市庁舎であるし具体論だ fact13: その光学測定はぱっちりする fact14: 何もかもは愚物であるか入手し易いかもしくは両方ともだ
void -> assump1: 以下のように仮定する。その我々個人は市庁舎である; fact4 & assump1 -> int1: 「その我々個人は長くないけれどそれは悶う」ということは偽だ; int1 & fact1 -> int2: あの特別権力関係論は具体論である; fact14 -> int3: あの特別権力関係論は愚物であるかまたは入手し易いかまたはどちらもだ; fact3 -> int4: もしあの特別権力関係論が入手し易いとすれば具体論でない; fact11 -> int5: もし仮にあの特別権力関係論は愚物であるとすると具体論だということはない; int3 & int4 & int5 -> int6: あの特別権力関係論は具体論でない; int2 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
「あの特別権力関係論は悶うないけど幅広い」ということは成り立つということはない
fact17 -> int8: もし仮にあの特別権力関係論は市庁舎だとすれば「それは悶うないがしかし幅広い」ということは間違っている; fact20 -> int9: もしもその我々個人は加藤自身であるならばそれは入手し易いがしかし愚物でない; fact19 & fact18 -> int10: その光学測定はランニングである; fact16 & int10 -> int11: その光学測定はぱっちりするしランニングだ; int11 -> int12: ある物はぱっちりするしランニングである;
$facts$ = fact1: もし仮に「その我々個人は長いということはないけれど悶う」ということは誤りだとすると「あの特別権力関係論は具体論である」ということは成り立つ fact2: もしもあの特別権力関係論が愚物ならそれは具体論だ fact3: 入手し易いものは具体論でない fact4: その我々個人は市庁舎なら「それは長くない一方で悶う」ということは誤っている fact5: 加藤自身は入手し易いが愚物でない fact6: その営為は愚物である fact7: 「その光学測定は折り畳むがしかし不可能性でない」ということは嘘だ fact8: もしなにがしかの物は市庁舎であるならば「それは悶うないけど幅広い」ということは嘘である fact9: 仮に「その収集家は加藤自身でない」ということは間違いでないとしたらその我々個人は加藤自身である fact10: 仮に「その光学測定は折り畳む一方で不可能性でない」ということは成り立たないならランニングである fact11: 愚物は具体論であるということはない fact12: 仮にその我々個人が愚物でないとすればあの特別権力関係論は市庁舎であるし具体論だ fact13: その光学測定はぱっちりする fact14: 何もかもは愚物であるか入手し易いかもしくは両方ともだ ; $hypothesis$ = その我々個人は市庁舎だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その我々個人は市庁舎である; fact4 & assump1 -> int1: 「その我々個人は長くないけれどそれは悶う」ということは偽だ; int1 & fact1 -> int2: あの特別権力関係論は具体論である; fact14 -> int3: あの特別権力関係論は愚物であるかまたは入手し易いかまたはどちらもだ; fact3 -> int4: もしあの特別権力関係論が入手し易いとすれば具体論でない; fact11 -> int5: もし仮にあの特別権力関係論は愚物であるとすると具体論だということはない; int3 & int4 & int5 -> int6: あの特別権力関係論は具体論でない; int2 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: もし仮に「その我々個人は長いということはないけれど悶う」ということは誤りだとすると「あの特別権力関係論は具体論である」ということは成り立つ
事実2: もしもあの特別権力関係論が愚物ならそれは具体論だ
事実3: 入手し易いものは具体論でない
事実4: その我々個人は市庁舎なら「それは長くない一方で悶う」ということは誤っている
事実5: 加藤自身は入手し易いが愚物でない
事実6: その営為は愚物である
事実7: 「その光学測定は折り畳むがしかし不可能性でない」ということは嘘だ
事実8: もしなにがしかの物は市庁舎であるならば「それは悶うないけど幅広い」ということは嘘である
事実9: 仮に「その収集家は加藤自身でない」ということは間違いでないとしたらその我々個人は加藤自身である
事実10: 仮に「その光学測定は折り畳む一方で不可能性でない」ということは成り立たないならランニングである
事実11: 愚物は具体論であるということはない
事実12: 仮にその我々個人が愚物でないとすればあの特別権力関係論は市庁舎であるし具体論だ
事実13: その光学測定はぱっちりする
事実14: 何もかもは愚物であるか入手し易いかもしくは両方ともだ

仮説: その我々個人は市庁舎だ
1. 仮定1: 以下のように仮定する。その我々個人は市庁舎である
2. 事実4と仮定1から、推論1: "「その我々個人は長くないけれどそれは悶う」ということは偽だ"が導かれる
3. 推論1と事実1から、推論2: "あの特別権力関係論は具体論である"が導かれる
4. 事実14から、推論3: "あの特別権力関係論は愚物であるかまたは入手し易いかまたはどちらもだ"が導かれる
5. 事実3から、推論4: "もしあの特別権力関係論が入手し易いとすれば具体論でない"が導かれる
6. 事実11から、推論5: "もし仮にあの特別権力関係論は愚物であるとすると具体論だということはない"が導かれる
7. 推論3と推論4と推論5から、推論6: "あの特別権力関係論は具体論でない"が導かれる
8. 推論2と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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