その積上げ工事は見分け難いしそれに当たり易い
fact1: あの頁岩は様虚集だ fact2: 様虚集は見分け難い fact3: もしもあの頁岩が発禁処分であるならばその積上げ工事は見分け難い fact4: 「その積上げ工事は中国本土である」ということは成り立つ fact5: あの頁岩は中国本土である fact6: 「あの頁岩が中国本土だしさらに哀れっぽい」ということは偽ならそれは中国本土でない fact7: なにがしかの物は様虚集でないとしたら「それは見分け難くて当たり易い」ということは誤りだ fact8: 「あの頁岩は取り入れであるし加えて中国本土だ」ということは成り立つ fact9: もしあの頁岩が様虚集だとすると発禁処分だ fact10: その積上げ工事は当たり易いし加えて中国本土だ fact11: もしもあの頁岩は中国本土だということはないとしたら「それは愛おい祭りであるしまた発禁処分だ」ということは成り立たない
fact9 & fact1 -> int1: あの頁岩は発禁処分だ; int1 & fact3 -> int2: 「その積上げ工事は見分け難い」ということは正しい; fact10 -> int3: その積上げ工事は当たり易い; int2 & int3 -> hypothesis;
fact9 & fact1 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; fact10 -> int3: {D}{b}; int2 & int3 -> hypothesis;
「その積上げ工事は見分け難い物であって当たり易い」ということは成り立たない
fact12 -> int4: もしもその積上げ工事は様虚集だということはないなら「見分け難くてそれは当たり易い」ということは偽である;
$facts$ = fact1: あの頁岩は様虚集だ fact2: 様虚集は見分け難い fact3: もしもあの頁岩が発禁処分であるならばその積上げ工事は見分け難い fact4: 「その積上げ工事は中国本土である」ということは成り立つ fact5: あの頁岩は中国本土である fact6: 「あの頁岩が中国本土だしさらに哀れっぽい」ということは偽ならそれは中国本土でない fact7: なにがしかの物は様虚集でないとしたら「それは見分け難くて当たり易い」ということは誤りだ fact8: 「あの頁岩は取り入れであるし加えて中国本土だ」ということは成り立つ fact9: もしあの頁岩が様虚集だとすると発禁処分だ fact10: その積上げ工事は当たり易いし加えて中国本土だ fact11: もしもあの頁岩は中国本土だということはないとしたら「それは愛おい祭りであるしまた発禁処分だ」ということは成り立たない ; $hypothesis$ = その積上げ工事は見分け難いしそれに当たり易い ; $proof$ = 
fact9 & fact1 -> int1: あの頁岩は発禁処分だ; int1 & fact3 -> int2: 「その積上げ工事は見分け難い」ということは正しい; fact10 -> int3: その積上げ工事は当たり易い; int2 & int3 -> hypothesis; __PROVED__
事実1: あの頁岩は様虚集だ
事実2: 様虚集は見分け難い
事実3: もしもあの頁岩が発禁処分であるならばその積上げ工事は見分け難い
事実4: 「その積上げ工事は中国本土である」ということは成り立つ
事実5: あの頁岩は中国本土である
事実6: 「あの頁岩が中国本土だしさらに哀れっぽい」ということは偽ならそれは中国本土でない
事実7: なにがしかの物は様虚集でないとしたら「それは見分け難くて当たり易い」ということは誤りだ
事実8: 「あの頁岩は取り入れであるし加えて中国本土だ」ということは成り立つ
事実9: もしあの頁岩が様虚集だとすると発禁処分だ
事実10: その積上げ工事は当たり易いし加えて中国本土だ
事実11: もしもあの頁岩は中国本土だということはないとしたら「それは愛おい祭りであるしまた発禁処分だ」ということは成り立たない

仮説: その積上げ工事は見分け難いしそれに当たり易い
1. 事実9と事実1から、推論1: "あの頁岩は発禁処分だ"が導かれる
2. 推論1と事実3から、推論2: "「その積上げ工事は見分け難い」ということは正しい"が導かれる
3. 事実10から、推論3: "その積上げ工事は当たり易い"が導かれる
4. 推論2と推論3から、仮説が導かれる

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