「「美々しいけど見え易くない」ということは誤っている」物はある
fact1: 「「進取であるし美々しい」ということは成り立たない」ものはある fact2: もし仮に「あの排水設備・雨水浸透施設技術指針は見え易くない」ということは間違っていないとすると「あの内ポケットは美々しくてまた進取だ」ということは本当でない fact3: 「「見え易くて加えて進取だ」ということは間違いである」物はある fact4: 「この第三取得者は流し場であるしそれにそれは見え易い」ということは成り立たない fact5: 「「進取であるし見え易い」ということは成り立たない」ものはある fact6: 「「美々しくておまけに進取である」ということは偽な」物はある fact7: 「「美々しくて加えて見え易い」ということは偽である」物はある fact8: 「婚前交渉でまた名付け為さらない」物はある fact9: あの排水設備・雨水浸透施設技術指針は見え易くない fact10: とある物は美々しいが進取でない fact11: 「侵入出来るしまた信販会社でない」ものはある fact12: 「美々しいが見え易くない」物はある fact13: 何らかのものは易しい一方で泊まり込まない fact14: 「「太いが批判しない」ということは誤りでない」物はある fact15: 「あの排水設備・雨水浸透施設技術指針は進取だけれどそれは美々しかない」ということは誤りである fact16: あの排水設備・雨水浸透施設技術指針は進取でないとすれば「「あの内ポケットは美々しい一方でそれは見え易いということはない」ということは間違いだ」ということは真実である fact17: あの排水設備・雨水浸透施設技術指針は進取だということはない fact18: 「あの内ポケットは来難くない」ということは事実だ fact19: なにがしかのものは進取であるが見え易くない
fact16 & fact17 -> int1: 「あの内ポケットは美々しいがしかし見え易くない」ということは誤っている; int1 -> hypothesis;
$facts$ = fact1: 「「進取であるし美々しい」ということは成り立たない」ものはある fact2: もし仮に「あの排水設備・雨水浸透施設技術指針は見え易くない」ということは間違っていないとすると「あの内ポケットは美々しくてまた進取だ」ということは本当でない fact3: 「「見え易くて加えて進取だ」ということは間違いである」物はある fact4: 「この第三取得者は流し場であるしそれにそれは見え易い」ということは成り立たない fact5: 「「進取であるし見え易い」ということは成り立たない」ものはある fact6: 「「美々しくておまけに進取である」ということは偽な」物はある fact7: 「「美々しくて加えて見え易い」ということは偽である」物はある fact8: 「婚前交渉でまた名付け為さらない」物はある fact9: あの排水設備・雨水浸透施設技術指針は見え易くない fact10: とある物は美々しいが進取でない fact11: 「侵入出来るしまた信販会社でない」ものはある fact12: 「美々しいが見え易くない」物はある fact13: 何らかのものは易しい一方で泊まり込まない fact14: 「「太いが批判しない」ということは誤りでない」物はある fact15: 「あの排水設備・雨水浸透施設技術指針は進取だけれどそれは美々しかない」ということは誤りである fact16: あの排水設備・雨水浸透施設技術指針は進取でないとすれば「「あの内ポケットは美々しい一方でそれは見え易いということはない」ということは間違いだ」ということは真実である fact17: あの排水設備・雨水浸透施設技術指針は進取だということはない fact18: 「あの内ポケットは来難くない」ということは事実だ fact19: なにがしかのものは進取であるが見え易くない ; $hypothesis$ = 「「美々しいけど見え易くない」ということは誤っている」物はある ; $proof$ = 
fact16 & fact17 -> int1: 「あの内ポケットは美々しいがしかし見え易くない」ということは誤っている; int1 -> hypothesis; __PROVED__
事実1: 「「進取であるし美々しい」ということは成り立たない」ものはある
事実2: もし仮に「あの排水設備・雨水浸透施設技術指針は見え易くない」ということは間違っていないとすると「あの内ポケットは美々しくてまた進取だ」ということは本当でない
事実3: 「「見え易くて加えて進取だ」ということは間違いである」物はある
事実4: 「この第三取得者は流し場であるしそれにそれは見え易い」ということは成り立たない
事実5: 「「進取であるし見え易い」ということは成り立たない」ものはある
事実6: 「「美々しくておまけに進取である」ということは偽な」物はある
事実7: 「「美々しくて加えて見え易い」ということは偽である」物はある
事実8: 「婚前交渉でまた名付け為さらない」物はある
事実9: あの排水設備・雨水浸透施設技術指針は見え易くない
事実10: とある物は美々しいが進取でない
事実11: 「侵入出来るしまた信販会社でない」ものはある
事実12: 「美々しいが見え易くない」物はある
事実13: 何らかのものは易しい一方で泊まり込まない
事実14: 「「太いが批判しない」ということは誤りでない」物はある
事実15: 「あの排水設備・雨水浸透施設技術指針は進取だけれどそれは美々しかない」ということは誤りである
事実16: あの排水設備・雨水浸透施設技術指針は進取でないとすれば「「あの内ポケットは美々しい一方でそれは見え易いということはない」ということは間違いだ」ということは真実である
事実17: あの排水設備・雨水浸透施設技術指針は進取だということはない
事実18: 「あの内ポケットは来難くない」ということは事実だ
事実19: なにがしかのものは進取であるが見え易くない

仮説: 「「美々しいけど見え易くない」ということは誤っている」物はある
1. 事実16と事実17から、推論1: "「あの内ポケットは美々しいがしかし見え易くない」ということは誤っている"が導かれる
2. 推論1から、仮説が導かれる

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