この第十八章はバランス良くない
fact1: もしこの設置主体がトマトベースであるし石川明・判夕であるとしたらこの第十八章はバランス良くない fact2: 「この設置主体はトマトベースだ」ということは間違いでない fact3: この同上符号が落ち零れる一方で蛸焼き器でないとすればこの血縁は落ち零れない fact4: 「落ち零れる」物はある fact5: 「郷土である」ものはある fact6: もし仮にこの設置主体がトマトベースだとするとそれは蛸焼き器である fact7: 「ファックスする」ものはある fact8: 仮にとある物が落ち零れるしファックスすればこの血縁は郷土でない fact9: 「落ち零れるしその上ファックスする」ものはある fact10: なにがしかの物が郷土だということはないとするとこの第十八章は石川明・判夕だ fact11: もし仮にこの第十八章が石川明・判夕だしバランス良いならこの設置主体は蛸焼き器でない
fact9 & fact8 -> int1: この血縁は郷土でない; int1 -> int2: 「郷土でない」ものはある; int2 & fact10 -> int3: この第十八章は石川明・判夕だ; void -> assump1: 以下のように仮定する。この第十八章はバランス良い; int3 & assump1 -> int4: この第十八章は石川明・判夕でそれはバランス良い; int4 & fact11 -> int5: この設置主体は蛸焼き器でない; fact6 & fact2 -> int6: 「この設置主体は蛸焼き器である」ということは本当である; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
この第十八章はバランス良い
$facts$ = fact1: もしこの設置主体がトマトベースであるし石川明・判夕であるとしたらこの第十八章はバランス良くない fact2: 「この設置主体はトマトベースだ」ということは間違いでない fact3: この同上符号が落ち零れる一方で蛸焼き器でないとすればこの血縁は落ち零れない fact4: 「落ち零れる」物はある fact5: 「郷土である」ものはある fact6: もし仮にこの設置主体がトマトベースだとするとそれは蛸焼き器である fact7: 「ファックスする」ものはある fact8: 仮にとある物が落ち零れるしファックスすればこの血縁は郷土でない fact9: 「落ち零れるしその上ファックスする」ものはある fact10: なにがしかの物が郷土だということはないとするとこの第十八章は石川明・判夕だ fact11: もし仮にこの第十八章が石川明・判夕だしバランス良いならこの設置主体は蛸焼き器でない ; $hypothesis$ = この第十八章はバランス良くない ; $proof$ = 
fact9 & fact8 -> int1: この血縁は郷土でない; int1 -> int2: 「郷土でない」ものはある; int2 & fact10 -> int3: この第十八章は石川明・判夕だ; void -> assump1: 以下のように仮定する。この第十八章はバランス良い; int3 & assump1 -> int4: この第十八章は石川明・判夕でそれはバランス良い; int4 & fact11 -> int5: この設置主体は蛸焼き器でない; fact6 & fact2 -> int6: 「この設置主体は蛸焼き器である」ということは本当である; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もしこの設置主体がトマトベースであるし石川明・判夕であるとしたらこの第十八章はバランス良くない
事実2: 「この設置主体はトマトベースだ」ということは間違いでない
事実3: この同上符号が落ち零れる一方で蛸焼き器でないとすればこの血縁は落ち零れない
事実4: 「落ち零れる」物はある
事実5: 「郷土である」ものはある
事実6: もし仮にこの設置主体がトマトベースだとするとそれは蛸焼き器である
事実7: 「ファックスする」ものはある
事実8: 仮にとある物が落ち零れるしファックスすればこの血縁は郷土でない
事実9: 「落ち零れるしその上ファックスする」ものはある
事実10: なにがしかの物が郷土だということはないとするとこの第十八章は石川明・判夕だ
事実11: もし仮にこの第十八章が石川明・判夕だしバランス良いならこの設置主体は蛸焼き器でない

仮説: この第十八章はバランス良くない
1. 事実9と事実8から、推論1: "この血縁は郷土でない"が導かれる
2. 推論1から、推論2: "「郷土でない」ものはある"が導かれる
3. 推論2と事実10から、推論3: "この第十八章は石川明・判夕だ"が導かれる
4. 仮定1: 以下のように仮定する。この第十八章はバランス良い
5. 推論3と仮定1から、推論4: "この第十八章は石川明・判夕でそれはバランス良い"が導かれる
6. 推論4と事実11から、推論5: "この設置主体は蛸焼き器でない"が導かれる
7. 事実6と事実2から、推論6: "「この設置主体は蛸焼き器である」ということは本当である"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

よって、仮説が証明されました。