この巨大組織は徴集する
fact1: 「斎場は徴集する」ということは成り立つ fact2: もしも「このＣＭＹは国民経済だ」ということは成り立たないならばこの巨大組織が斎場だしかつそれは国民経済だ fact3: もし仮にあのフランス民法典は英独仏でなくて難くないとするとそれは徴集するということはない fact4: もしもこのＣＭＹが出難くなくてしかもかったるくないとしたらそれは国民経済でない fact5: このＣＭＹは出難くなくてかったるくない
fact4 & fact5 -> int1: このＣＭＹは国民経済でない; int1 & fact2 -> int2: この巨大組織は斎場であるし更に国民経済である; int2 -> int3: この巨大組織は斎場だ; fact1 -> int4: もしもこの巨大組織が斎場だとすればそれは徴集する; int3 & int4 -> hypothesis;
$facts$ = fact1: 「斎場は徴集する」ということは成り立つ fact2: もしも「このＣＭＹは国民経済だ」ということは成り立たないならばこの巨大組織が斎場だしかつそれは国民経済だ fact3: もし仮にあのフランス民法典は英独仏でなくて難くないとするとそれは徴集するということはない fact4: もしもこのＣＭＹが出難くなくてしかもかったるくないとしたらそれは国民経済でない fact5: このＣＭＹは出難くなくてかったるくない ; $hypothesis$ = この巨大組織は徴集する ; $proof$ = 
fact4 & fact5 -> int1: このＣＭＹは国民経済でない; int1 & fact2 -> int2: この巨大組織は斎場であるし更に国民経済である; int2 -> int3: この巨大組織は斎場だ; fact1 -> int4: もしもこの巨大組織が斎場だとすればそれは徴集する; int3 & int4 -> hypothesis; __PROVED__
事実1: 「斎場は徴集する」ということは成り立つ
事実2: もしも「このＣＭＹは国民経済だ」ということは成り立たないならばこの巨大組織が斎場だしかつそれは国民経済だ
事実3: もし仮にあのフランス民法典は英独仏でなくて難くないとするとそれは徴集するということはない
事実4: もしもこのＣＭＹが出難くなくてしかもかったるくないとしたらそれは国民経済でない
事実5: このＣＭＹは出難くなくてかったるくない

仮説: この巨大組織は徴集する
1. 事実4と事実5から、推論1: "このＣＭＹは国民経済でない"が導かれる
2. 推論1と事実2から、推論2: "この巨大組織は斎場であるし更に国民経済である"が導かれる
3. 推論2から、推論3: "この巨大組織は斎場だ"が導かれる
4. 事実1から、推論4: "もしもこの巨大組織が斎場だとすればそれは徴集する"が導かれる
5. 推論3と推論4から、仮説が導かれる

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