その黒装束は恥ずかしがらなくておまけに国定教科書でない
fact1: この建築図が想像し易くないか狭苦しいか両方であるならどす黒くない fact2: 「「想像し易くないかあるいは狭苦しいか両方ともだ」ということは成り立たない」物があればこの遺稿は恥ずかしがらない fact3: 「その意気地は節約出来ないしその上集め易いない」ということは事実である fact4: 「その黒装束は狭苦しくないかあるいはそれは恥ずかしがるかもしくは両方ともである」ということは確かでない fact5: もしこの遺稿が恥ずかしがらないとするとその黒装束は恥ずかしがらないしさらに国定教科書でない fact6: 仮にその意気地は出来ないとすると「この建築図は美術館巡りでないかそれは腫れぼったいかあるいは両方ともだ」ということは間違いである fact7: もし何かはどす黒いならそれは交尾である fact8: もしもこの建築図が想像し易くないとすればその意気地は国定教科書でないが美術館巡りである fact9: あるものは交尾であるなら「それは恥ずかしがらなくて国定教科書でない」ということは誤りである fact10: 仮にこの建築図がどす黒いということはないならその意気地は交尾であるということはないけれど腫れぼったい fact11: もしその意気地が交尾でない一方で腫れぼったいならば「美術館巡りでない」ということは誤りである fact12: その意気地は美術館巡りでない fact13: 「この建築図は想像し易くないか恥ずかしがるかあるいは両方だ」ということは成り立たない fact14: この遺稿が出来るということはないとするとその意気地は出来ない
void -> assump1: 以下のように仮定する。この建築図は想像し易くないかあるいはそれは狭苦しいか両方である; fact1 & assump1 -> int1: この建築図はどす黒くない; int1 & fact10 -> int2: その意気地は交尾でないけれど腫れぼったい; int2 & fact11 -> int3: 「その意気地は美術館巡りである」ということは事実である; int3 & fact12 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この建築図は想像し易くないかもしくは狭苦しいかあるいは両方ともである」ということは成り立たない; int5 -> int6: 「「想像し易くないかあるいは狭苦しいか両方である」ということは成り立たない」物はある; int6 & fact2 -> int7: この遺稿は恥ずかしがらない; int7 & fact5 -> hypothesis;
「その黒装束は恥ずかしがらないしその上国定教科書でない」ということは誤っている
fact15 -> int8: もしその黒装束は交尾だとすると「恥ずかしがらなくて国定教科書でない」ということは成り立つということはない; fact18 -> int9: 仮にその黒装束がどす黒いとすると交尾だ;
$facts$ = fact1: この建築図が想像し易くないか狭苦しいか両方であるならどす黒くない fact2: 「「想像し易くないかあるいは狭苦しいか両方ともだ」ということは成り立たない」物があればこの遺稿は恥ずかしがらない fact3: 「その意気地は節約出来ないしその上集め易いない」ということは事実である fact4: 「その黒装束は狭苦しくないかあるいはそれは恥ずかしがるかもしくは両方ともである」ということは確かでない fact5: もしこの遺稿が恥ずかしがらないとするとその黒装束は恥ずかしがらないしさらに国定教科書でない fact6: 仮にその意気地は出来ないとすると「この建築図は美術館巡りでないかそれは腫れぼったいかあるいは両方ともだ」ということは間違いである fact7: もし何かはどす黒いならそれは交尾である fact8: もしもこの建築図が想像し易くないとすればその意気地は国定教科書でないが美術館巡りである fact9: あるものは交尾であるなら「それは恥ずかしがらなくて国定教科書でない」ということは誤りである fact10: 仮にこの建築図がどす黒いということはないならその意気地は交尾であるということはないけれど腫れぼったい fact11: もしその意気地が交尾でない一方で腫れぼったいならば「美術館巡りでない」ということは誤りである fact12: その意気地は美術館巡りでない fact13: 「この建築図は想像し易くないか恥ずかしがるかあるいは両方だ」ということは成り立たない fact14: この遺稿が出来るということはないとするとその意気地は出来ない ; $hypothesis$ = その黒装束は恥ずかしがらなくておまけに国定教科書でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この建築図は想像し易くないかあるいはそれは狭苦しいか両方である; fact1 & assump1 -> int1: この建築図はどす黒くない; int1 & fact10 -> int2: その意気地は交尾でないけれど腫れぼったい; int2 & fact11 -> int3: 「その意気地は美術館巡りである」ということは事実である; int3 & fact12 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この建築図は想像し易くないかもしくは狭苦しいかあるいは両方ともである」ということは成り立たない; int5 -> int6: 「「想像し易くないかあるいは狭苦しいか両方である」ということは成り立たない」物はある; int6 & fact2 -> int7: この遺稿は恥ずかしがらない; int7 & fact5 -> hypothesis; __PROVED__
事実1: この建築図が想像し易くないか狭苦しいか両方であるならどす黒くない
事実2: 「「想像し易くないかあるいは狭苦しいか両方ともだ」ということは成り立たない」物があればこの遺稿は恥ずかしがらない
事実3: 「その意気地は節約出来ないしその上集め易いない」ということは事実である
事実4: 「その黒装束は狭苦しくないかあるいはそれは恥ずかしがるかもしくは両方ともである」ということは確かでない
事実5: もしこの遺稿が恥ずかしがらないとするとその黒装束は恥ずかしがらないしさらに国定教科書でない
事実6: 仮にその意気地は出来ないとすると「この建築図は美術館巡りでないかそれは腫れぼったいかあるいは両方ともだ」ということは間違いである
事実7: もし何かはどす黒いならそれは交尾である
事実8: もしもこの建築図が想像し易くないとすればその意気地は国定教科書でないが美術館巡りである
事実9: あるものは交尾であるなら「それは恥ずかしがらなくて国定教科書でない」ということは誤りである
事実10: 仮にこの建築図がどす黒いということはないならその意気地は交尾であるということはないけれど腫れぼったい
事実11: もしその意気地が交尾でない一方で腫れぼったいならば「美術館巡りでない」ということは誤りである
事実12: その意気地は美術館巡りでない
事実13: 「この建築図は想像し易くないか恥ずかしがるかあるいは両方だ」ということは成り立たない
事実14: この遺稿が出来るということはないとするとその意気地は出来ない

仮説: その黒装束は恥ずかしがらなくておまけに国定教科書でない
1. 仮定1: 以下のように仮定する。この建築図は想像し易くないかあるいはそれは狭苦しいか両方である
2. 事実1と仮定1から、推論1: "この建築図はどす黒くない"が導かれる
3. 推論1と事実10から、推論2: "その意気地は交尾でないけれど腫れぼったい"が導かれる
4. 推論2と事実11から、推論3: "「その意気地は美術館巡りである」ということは事実である"が導かれる
5. 推論3と事実12から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「この建築図は想像し易くないかもしくは狭苦しいかあるいは両方ともである」ということは成り立たない"が導かれる
7. 推論5から、推論6: "「「想像し易くないかあるいは狭苦しいか両方である」ということは成り立たない」物はある"が導かれる
8. 推論6と事実2から、推論7: "この遺稿は恥ずかしがらない"が導かれる
9. 推論7と事実5から、仮説が導かれる

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