「もしもその坂下門外が発見出来るならこの州都は格差是正である」ということは成り立つということはない
fact1: それは多用しなくてそれは白いというものはない fact2: 仮になにがしかのものは白くないとすると「それは格差是正であるしさらにそれは発見出来る」ということは偽である fact3: 仮に「なにかは多用しないけどそれは白い」ということは成り立たないとすると「それは白くない」ということは成り立つ fact4: もし仮になにかは格差是正でないなら飼い主でないし加えてそれは意地悪い fact5: 「なにがしかの物は飼い主でないがしかし惨めったらしい」ということは成り立たないとしたらそれは発見出来ない fact6: もしも「「格差是正であるしそれに発見出来る」ということは嘘な」ものがあればその坂下門外は格差是正でない fact7: もし仮にその坂下門外が飼い主でないがしかし惨めったらしいとすればこの州都は格差是正である
fact5 -> int1: 仮に「その坂下門外は飼い主でないがしかし惨めったらしい」ということは誤りだとすればそれは発見出来ない; void -> assump1: 以下のように仮定する。「その坂下門外は飼い主でない一方で惨めったらしい」ということは成り立たない; int1 & assump1 -> int2: その坂下門外は発見出来ない; void -> assump2: 以下のように仮定する。その坂下門外は発見出来る; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その坂下門外は飼い主であるということはないがしかし惨めったらしい; int4 & fact7 -> int5: 「この州都は格差是正だ」ということは成り立つ; [assump2] & int5 -> hypothesis;
その坂下門外は飼い主でない一方で意地悪い
fact11 -> int6: もしもその坂下門外は格差是正でないとするとそれは飼い主でないけど意地悪い; fact9 -> int7: 「このマッドバスは多用するということはないがそれは白い」ということは嘘だ; fact12 -> int8: もし「このマッドバスは多用しないけど白い」ということは成り立たないとすれば「白いということはない」ということは成り立つ; int7 & int8 -> int9: このマッドバスは白くない; fact10 -> int10: もしこのマッドバスは白くないとすると「格差是正でしかも発見出来る」ということは偽だ; int9 & int10 -> int11: 「このマッドバスは格差是正であるしまた発見出来る」ということは間違いである; int11 -> int12: 格差是正だししかも発見出来るという物はない; int12 -> int13: 「この州都は格差是正だし加えてそれは発見出来る」ということは嘘である; int13 -> int14: 「「「格差是正であるし更に発見出来る」ということは成り立つ」ということは間違いな」ものはある; int14 & fact8 -> int15: その坂下門外は格差是正でない; int6 & int15 -> hypothesis;
$facts$ = fact1: それは多用しなくてそれは白いというものはない fact2: 仮になにがしかのものは白くないとすると「それは格差是正であるしさらにそれは発見出来る」ということは偽である fact3: 仮に「なにかは多用しないけどそれは白い」ということは成り立たないとすると「それは白くない」ということは成り立つ fact4: もし仮になにかは格差是正でないなら飼い主でないし加えてそれは意地悪い fact5: 「なにがしかの物は飼い主でないがしかし惨めったらしい」ということは成り立たないとしたらそれは発見出来ない fact6: もしも「「格差是正であるしそれに発見出来る」ということは嘘な」ものがあればその坂下門外は格差是正でない fact7: もし仮にその坂下門外が飼い主でないがしかし惨めったらしいとすればこの州都は格差是正である ; $hypothesis$ = 「もしもその坂下門外が発見出来るならこの州都は格差是正である」ということは成り立つということはない ; $proof$ = 
fact5 -> int1: 仮に「その坂下門外は飼い主でないがしかし惨めったらしい」ということは誤りだとすればそれは発見出来ない; void -> assump1: 以下のように仮定する。「その坂下門外は飼い主でない一方で惨めったらしい」ということは成り立たない; int1 & assump1 -> int2: その坂下門外は発見出来ない; void -> assump2: 以下のように仮定する。その坂下門外は発見出来る; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その坂下門外は飼い主であるということはないがしかし惨めったらしい; int4 & fact7 -> int5: 「この州都は格差是正だ」ということは成り立つ; [assump2] & int5 -> hypothesis; __DISPROVED__
事実1: それは多用しなくてそれは白いというものはない
事実2: 仮になにがしかのものは白くないとすると「それは格差是正であるしさらにそれは発見出来る」ということは偽である
事実3: 仮に「なにかは多用しないけどそれは白い」ということは成り立たないとすると「それは白くない」ということは成り立つ
事実4: もし仮になにかは格差是正でないなら飼い主でないし加えてそれは意地悪い
事実5: 「なにがしかの物は飼い主でないがしかし惨めったらしい」ということは成り立たないとしたらそれは発見出来ない
事実6: もしも「「格差是正であるしそれに発見出来る」ということは嘘な」ものがあればその坂下門外は格差是正でない
事実7: もし仮にその坂下門外が飼い主でないがしかし惨めったらしいとすればこの州都は格差是正である

仮説: 「もしもその坂下門外が発見出来るならこの州都は格差是正である」ということは成り立つということはない
1. 事実5から、推論1: "仮に「その坂下門外は飼い主でないがしかし惨めったらしい」ということは誤りだとすればそれは発見出来ない"が導かれる
2. 仮定1: 以下のように仮定する。「その坂下門外は飼い主でない一方で惨めったらしい」ということは成り立たない
3. 推論1と仮定1から、推論2: "その坂下門外は発見出来ない"が導かれる
4. 仮定2: 以下のように仮定する。その坂下門外は発見出来る
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "その坂下門外は飼い主であるということはないがしかし惨めったらしい"が導かれる
7. 推論4と事実7から、推論5: "「この州都は格差是正だ」ということは成り立つ"が導かれる
8. [仮定2]と推論5から、仮説が否定される

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