「なんらかの物は列挙出来るしそれに付き難い」ということは偽だ
fact1: あの大規模開発は付き難い fact2: あの大規模開発は列挙出来る fact3: あのブラウン事件判決は列挙出来る fact4: 「付き難い」ものはある fact5: 付き難くない物は吊り易くて列挙出来る
fact2 & fact1 -> int1: 「あの大規模開発は列挙出来るしそれに付き難い」ということは真実である; int1 -> hypothesis;
とある物は吊り易いしおまけに創刊する
fact6 -> int2: あの大規模開発が付き難くないとすると吊り易くて更に列挙出来る;
$facts$ = fact1: あの大規模開発は付き難い fact2: あの大規模開発は列挙出来る fact3: あのブラウン事件判決は列挙出来る fact4: 「付き難い」ものはある fact5: 付き難くない物は吊り易くて列挙出来る ; $hypothesis$ = 「なんらかの物は列挙出来るしそれに付き難い」ということは偽だ ; $proof$ = 
fact2 & fact1 -> int1: 「あの大規模開発は列挙出来るしそれに付き難い」ということは真実である; int1 -> hypothesis; __DISPROVED__
事実1: あの大規模開発は付き難い
事実2: あの大規模開発は列挙出来る
事実3: あのブラウン事件判決は列挙出来る
事実4: 「付き難い」ものはある
事実5: 付き難くない物は吊り易くて列挙出来る

仮説: 「なんらかの物は列挙出来るしそれに付き難い」ということは偽だ
1. 事実2と事実1から、推論1: "「あの大規模開発は列挙出来るしそれに付き難い」ということは真実である"が導かれる
2. 推論1から、仮説が否定される

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