この存在形態は一般仮陸揚げ貨物でない
fact1: 「その施行地区等は印象深くないがしかし減色法である」ということは偽だとするとこの存在形態は兄弟子だ fact2: もしこの存在形態は解し難くないならば「それは下ろし易いしおまけに申し立て原因でない」ということは確かでない fact3: この存在形態は解し難くない fact4: もしも何らかの物が冒険しないしさらにかったるくないならば通じ難くない fact5: 仮に「この存在形態は見辛い」ということは本当でないなら「その施行地区等は作り易くて加えて兄弟子だ」ということは成り立たない fact6: もしも「「作り易くてさらに兄弟子だ」ということは偽な」ものがあるならばあの外国語パンフレットは作り易くない fact7: もし「この存在形態は溶解状態でないしさらに作り易くない」ということは成り立たないならばそれは一般仮陸揚げ貨物でない fact8: 「「なにがしかのものは通じ難くない」ということは正しいなら「エリザベス女王でないかまたは一般仮陸揚げ貨物でないかまたはどちらもである」ということは成り立たない」ということは真実である fact9: 「その施行地区等は見辛くない」ということは本当である fact10: 「何らかの物はかったるいけど崩御しない」ということは誤りだとすると「かったるくない」ということは本当だ fact11: もしもその施行地区等が印象深くないがしかし減色法だとすればそれは見辛い fact12: もしこの存在形態は兄弟子だとすると「溶解状態でないしおまけに作り易くない」ということは誤りである fact13: もしなにかは溶解状態であるということはなくておまけに作り易いということはないとしたらそれは見辛くない fact14: 「ある物はエリザベス女王でないかまたは一般仮陸揚げ貨物であるということはないかまたは両方だ」ということは偽であるとしたら「溶解状態でない」ということは間違っていない fact15: 「格好悪くない」ものはある fact16: 仮に何らかのものが溶解状態でないとすればそれは見辛くない fact17: 「この存在形態は溶解状態でないがそれは作り易い」ということは偽である fact18: 仮に「ある物は下ろし易いが申し立て原因でない」ということは成り立たないならばそれは冒険するということはない
void -> assump1: 以下のように仮定する。その施行地区等は印象深くないけれどそれは減色法である; fact11 & assump1 -> int1: その施行地区等は見辛い; int1 & fact9 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「「その施行地区等は印象深いということはないけれどそれは減色法だ」ということは正しい」ということは嘘だ; int3 & fact1 -> int4: この存在形態は兄弟子である; int4 & fact12 -> int5: 「この存在形態は溶解状態でないし作り易くない」ということは事実と異なる; int5 & fact7 -> hypothesis;
あの外国語パンフレットは作り易くない
fact22 -> int6: 仮にこの存在形態は溶解状態でないとしたらそれは見辛いということはない; fact29 -> int7: もしも「「この存在形態はエリザベス女王でないかもしくは一般仮陸揚げ貨物でないかもしくは両方だ」ということは確かである」ということは嘘ならば溶解状態だということはない; fact24 -> int8: もし仮にこの存在形態は通じ難くないとしたら「それはエリザベス女王でないかまたは一般仮陸揚げ貨物でない」ということは間違いだ; fact27 -> int9: もし仮にこの存在形態は冒険しないしかったるくないとすれば通じ難くない; fact21 -> int10: 仮に「この存在形態は下ろし易いけど申し立て原因でない」ということは事実であるということはないならば冒険しない; fact28 & fact19 -> int11: 「「この存在形態は下ろし易い一方で申し立て原因でない」ということは本当だ」ということは成り立つということはない; int10 & int11 -> int12: この存在形態は冒険しない; fact25 -> int13: もし仮に「「この存在形態はかったるい一方で崩御しない」ということは事実と異なる」ということは事実であるとするとそれはかったるくない;
$facts$ = fact1: 「その施行地区等は印象深くないがしかし減色法である」ということは偽だとするとこの存在形態は兄弟子だ fact2: もしこの存在形態は解し難くないならば「それは下ろし易いしおまけに申し立て原因でない」ということは確かでない fact3: この存在形態は解し難くない fact4: もしも何らかの物が冒険しないしさらにかったるくないならば通じ難くない fact5: 仮に「この存在形態は見辛い」ということは本当でないなら「その施行地区等は作り易くて加えて兄弟子だ」ということは成り立たない fact6: もしも「「作り易くてさらに兄弟子だ」ということは偽な」ものがあるならばあの外国語パンフレットは作り易くない fact7: もし「この存在形態は溶解状態でないしさらに作り易くない」ということは成り立たないならばそれは一般仮陸揚げ貨物でない fact8: 「「なにがしかのものは通じ難くない」ということは正しいなら「エリザベス女王でないかまたは一般仮陸揚げ貨物でないかまたはどちらもである」ということは成り立たない」ということは真実である fact9: 「その施行地区等は見辛くない」ということは本当である fact10: 「何らかの物はかったるいけど崩御しない」ということは誤りだとすると「かったるくない」ということは本当だ fact11: もしもその施行地区等が印象深くないがしかし減色法だとすればそれは見辛い fact12: もしこの存在形態は兄弟子だとすると「溶解状態でないしおまけに作り易くない」ということは誤りである fact13: もしなにかは溶解状態であるということはなくておまけに作り易いということはないとしたらそれは見辛くない fact14: 「ある物はエリザベス女王でないかまたは一般仮陸揚げ貨物であるということはないかまたは両方だ」ということは偽であるとしたら「溶解状態でない」ということは間違っていない fact15: 「格好悪くない」ものはある fact16: 仮に何らかのものが溶解状態でないとすればそれは見辛くない fact17: 「この存在形態は溶解状態でないがそれは作り易い」ということは偽である fact18: 仮に「ある物は下ろし易いが申し立て原因でない」ということは成り立たないならばそれは冒険するということはない ; $hypothesis$ = この存在形態は一般仮陸揚げ貨物でない ; $proof$ = 
void -> assump1: 以下のように仮定する。その施行地区等は印象深くないけれどそれは減色法である; fact11 & assump1 -> int1: その施行地区等は見辛い; int1 & fact9 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「「その施行地区等は印象深いということはないけれどそれは減色法だ」ということは正しい」ということは嘘だ; int3 & fact1 -> int4: この存在形態は兄弟子である; int4 & fact12 -> int5: 「この存在形態は溶解状態でないし作り易くない」ということは事実と異なる; int5 & fact7 -> hypothesis; __PROVED__
事実1: 「その施行地区等は印象深くないがしかし減色法である」ということは偽だとするとこの存在形態は兄弟子だ
事実2: もしこの存在形態は解し難くないならば「それは下ろし易いしおまけに申し立て原因でない」ということは確かでない
事実3: この存在形態は解し難くない
事実4: もしも何らかの物が冒険しないしさらにかったるくないならば通じ難くない
事実5: 仮に「この存在形態は見辛い」ということは本当でないなら「その施行地区等は作り易くて加えて兄弟子だ」ということは成り立たない
事実6: もしも「「作り易くてさらに兄弟子だ」ということは偽な」ものがあるならばあの外国語パンフレットは作り易くない
事実7: もし「この存在形態は溶解状態でないしさらに作り易くない」ということは成り立たないならばそれは一般仮陸揚げ貨物でない
事実8: 「「なにがしかのものは通じ難くない」ということは正しいなら「エリザベス女王でないかまたは一般仮陸揚げ貨物でないかまたはどちらもである」ということは成り立たない」ということは真実である
事実9: 「その施行地区等は見辛くない」ということは本当である
事実10: 「何らかの物はかったるいけど崩御しない」ということは誤りだとすると「かったるくない」ということは本当だ
事実11: もしもその施行地区等が印象深くないがしかし減色法だとすればそれは見辛い
事実12: もしこの存在形態は兄弟子だとすると「溶解状態でないしおまけに作り易くない」ということは誤りである
事実13: もしなにかは溶解状態であるということはなくておまけに作り易いということはないとしたらそれは見辛くない
事実14: 「ある物はエリザベス女王でないかまたは一般仮陸揚げ貨物であるということはないかまたは両方だ」ということは偽であるとしたら「溶解状態でない」ということは間違っていない
事実15: 「格好悪くない」ものはある
事実16: 仮に何らかのものが溶解状態でないとすればそれは見辛くない
事実17: 「この存在形態は溶解状態でないがそれは作り易い」ということは偽である
事実18: 仮に「ある物は下ろし易いが申し立て原因でない」ということは成り立たないならばそれは冒険するということはない

仮説: この存在形態は一般仮陸揚げ貨物でない
1. 仮定1: 以下のように仮定する。その施行地区等は印象深くないけれどそれは減色法である
2. 事実11と仮定1から、推論1: "その施行地区等は見辛い"が導かれる
3. 推論1と事実9から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「「その施行地区等は印象深いということはないけれどそれは減色法だ」ということは正しい」ということは嘘だ"が導かれる
5. 推論3と事実1から、推論4: "この存在形態は兄弟子である"が導かれる
6. 推論4と事実12から、推論5: "「この存在形態は溶解状態でないし作り易くない」ということは事実と異なる"が導かれる
7. 推論5と事実7から、仮説が導かれる

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