もし仮に「あの八千万人は朱雀門である」ということは成り立つなら「その郡部は腹黒い」ということは本当だ
fact1: 「その郡部は茶色くないがださい」ということは正しい fact2: その郡部が茶色いならばあの八千万人は考え難い fact3: あの下喉頭神経は朱雀門である fact4: 仮に考え難いものが茶色いならそれは朱雀門でない fact5: もし仮にその郡部が腹黒くないならばあの八千万人は考え難くない fact6: もしあの八千万人が考え難くておまけにそれが茶色いとするとそれは朱雀門でない fact7: 腹黒いということはない物は茶色いなら「それは考え難い」ということは成り立つ fact8: その郡部は抗い難くない fact9: 仮にその郡部が腹黒くないとするとあの八千万人は考え難くないがしかしそれは茶色い fact10: 仮にその郡部が腹黒くないけれどそれは朱雀門であるとすれば「考え難くない」ということは本当である fact11: その郡部は遣り為さらないけど縁遠い fact12: もしあの八千万人が腹黒いとすればあの郡部は考え難い fact13: あの八千万人は腹黒い fact14: もしその郡部が考え難いならばあの八千万人は腹黒い fact15: 「その郡部は朱雀門でない」ということは本当である fact16: もしなにかは考え難くないけれど茶色いとするとそれは朱雀門でない fact17: もし仮に何かは朱雀門でないがしかしそれが腹黒いとすればそれは茶色いということはない fact18: もしもその郡部が考え難くないとするとあの八千万人は腹黒くないけれどそれは茶色い
void -> assump1: 以下のように仮定する。「その郡部は腹黒くない」ということは本当だ; fact9 & assump1 -> int1: あの八千万人は考え難くないけど茶色い; fact16 -> int2: あの八千万人が考え難くないが茶色いとすると「朱雀門でない」ということは真実だ; int1 & int2 -> int3: あの八千万人は朱雀門でない; void -> assump2: 以下のように仮定する。あの八千万人は朱雀門である; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その郡部は腹黒い」ということは正しい; [assump2] & int5 -> hypothesis;
$facts$ = fact1: 「その郡部は茶色くないがださい」ということは正しい fact2: その郡部が茶色いならばあの八千万人は考え難い fact3: あの下喉頭神経は朱雀門である fact4: 仮に考え難いものが茶色いならそれは朱雀門でない fact5: もし仮にその郡部が腹黒くないならばあの八千万人は考え難くない fact6: もしあの八千万人が考え難くておまけにそれが茶色いとするとそれは朱雀門でない fact7: 腹黒いということはない物は茶色いなら「それは考え難い」ということは成り立つ fact8: その郡部は抗い難くない fact9: 仮にその郡部が腹黒くないとするとあの八千万人は考え難くないがしかしそれは茶色い fact10: 仮にその郡部が腹黒くないけれどそれは朱雀門であるとすれば「考え難くない」ということは本当である fact11: その郡部は遣り為さらないけど縁遠い fact12: もしあの八千万人が腹黒いとすればあの郡部は考え難い fact13: あの八千万人は腹黒い fact14: もしその郡部が考え難いならばあの八千万人は腹黒い fact15: 「その郡部は朱雀門でない」ということは本当である fact16: もしなにかは考え難くないけれど茶色いとするとそれは朱雀門でない fact17: もし仮に何かは朱雀門でないがしかしそれが腹黒いとすればそれは茶色いということはない fact18: もしもその郡部が考え難くないとするとあの八千万人は腹黒くないけれどそれは茶色い ; $hypothesis$ = もし仮に「あの八千万人は朱雀門である」ということは成り立つなら「その郡部は腹黒い」ということは本当だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「その郡部は腹黒くない」ということは本当だ; fact9 & assump1 -> int1: あの八千万人は考え難くないけど茶色い; fact16 -> int2: あの八千万人が考え難くないが茶色いとすると「朱雀門でない」ということは真実だ; int1 & int2 -> int3: あの八千万人は朱雀門でない; void -> assump2: 以下のように仮定する。あの八千万人は朱雀門である; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その郡部は腹黒い」ということは正しい; [assump2] & int5 -> hypothesis; __PROVED__
事実1: 「その郡部は茶色くないがださい」ということは正しい
事実2: その郡部が茶色いならばあの八千万人は考え難い
事実3: あの下喉頭神経は朱雀門である
事実4: 仮に考え難いものが茶色いならそれは朱雀門でない
事実5: もし仮にその郡部が腹黒くないならばあの八千万人は考え難くない
事実6: もしあの八千万人が考え難くておまけにそれが茶色いとするとそれは朱雀門でない
事実7: 腹黒いということはない物は茶色いなら「それは考え難い」ということは成り立つ
事実8: その郡部は抗い難くない
事実9: 仮にその郡部が腹黒くないとするとあの八千万人は考え難くないがしかしそれは茶色い
事実10: 仮にその郡部が腹黒くないけれどそれは朱雀門であるとすれば「考え難くない」ということは本当である
事実11: その郡部は遣り為さらないけど縁遠い
事実12: もしあの八千万人が腹黒いとすればあの郡部は考え難い
事実13: あの八千万人は腹黒い
事実14: もしその郡部が考え難いならばあの八千万人は腹黒い
事実15: 「その郡部は朱雀門でない」ということは本当である
事実16: もしなにかは考え難くないけれど茶色いとするとそれは朱雀門でない
事実17: もし仮に何かは朱雀門でないがしかしそれが腹黒いとすればそれは茶色いということはない
事実18: もしもその郡部が考え難くないとするとあの八千万人は腹黒くないけれどそれは茶色い

仮説: もし仮に「あの八千万人は朱雀門である」ということは成り立つなら「その郡部は腹黒い」ということは本当だ
1. 仮定1: 以下のように仮定する。「その郡部は腹黒くない」ということは本当だ
2. 事実9と仮定1から、推論1: "あの八千万人は考え難くないけど茶色い"が導かれる
3. 事実16から、推論2: "あの八千万人が考え難くないが茶色いとすると「朱雀門でない」ということは真実だ"が導かれる
4. 推論1と推論2から、推論3: "あの八千万人は朱雀門でない"が導かれる
5. 仮定2: 以下のように仮定する。あの八千万人は朱雀門である
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "「その郡部は腹黒い」ということは正しい"が導かれる
8. [仮定2]と推論5から、仮説が導かれる

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