「「「下ろし易くないし生み易い」ということは成り立たない」ものはある」ということは成り立たない
fact1: 「センター前は生存競争だ」ということは真実である fact2: 「「生み易くないがしかし吝い」ということは嘘である」ものはある fact3: 「聞き辛い物は御存じ無い」ということは事実である fact4: この南メソジスト監督教会は性分らしい fact5: 「遣り辛いものは浮き易い」ということは事実である fact6: この不確定性は浮き易いししかも生み易い fact7: 仮にその誤字脱字が御存じ無いならあの弁護士法人は聞き辛くない fact8: この業態転換は薄汚くない一方で生み易い fact9: 「もしこの大髑髏が配属しないが代襲相続するとしたらこの大髑髏は聞き辛くない」ということは事実である fact10: 下ろし易くないし生み易い物はある fact11: 「この大髑髏は生み易い」ということは事実と異ならない fact12: この大髑髏は聞き辛いし吝い fact13: この大髑髏は確保すらない fact14: この大髑髏はアスクするしそれはルート・チャクラである fact15: 「「「下ろし易いし生み易い」ということは事実である」ということは誤りである」ものはある fact16: 仮に何かは下ろし易くないがそれが生み易いならそれは御存じ無くない fact17: この大髑髏は吝い fact18: この大髑髏は予測し易い fact19: もしも「あの弁護士法人は聞き辛い」ということは間違いであるならば「そのマス・コミュニケーション論は下ろし易くないがしかし誤解し易い」ということは誤っている fact20: 「この大髑髏は大きいということはないけど聞き辛い」ということは間違っている fact21: 聞き辛い物は吝い
fact16 -> int1: もし仮にこの大髑髏は下ろし易くないがしかし生み易いならばそれは御存じ無くない; void -> assump1: 以下のように仮定する。この大髑髏は下ろし易くないけど生み易い; int1 & assump1 -> int2: この大髑髏は御存じ無くない; fact3 -> int3: もしこの大髑髏が聞き辛いとするとそれは御存じ無い; fact12 -> int4: この大髑髏は聞き辛い; int3 & int4 -> int5: この大髑髏は御存じ無い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「この大髑髏は下ろし易いということはないがしかし生み易い」ということは成り立たない; int7 -> hypothesis;
「そのマス・コミュニケーション論は下ろし易くないが誤解し易い」ということは成り立たない
$facts$ = fact1: 「センター前は生存競争だ」ということは真実である fact2: 「「生み易くないがしかし吝い」ということは嘘である」ものはある fact3: 「聞き辛い物は御存じ無い」ということは事実である fact4: この南メソジスト監督教会は性分らしい fact5: 「遣り辛いものは浮き易い」ということは事実である fact6: この不確定性は浮き易いししかも生み易い fact7: 仮にその誤字脱字が御存じ無いならあの弁護士法人は聞き辛くない fact8: この業態転換は薄汚くない一方で生み易い fact9: 「もしこの大髑髏が配属しないが代襲相続するとしたらこの大髑髏は聞き辛くない」ということは事実である fact10: 下ろし易くないし生み易い物はある fact11: 「この大髑髏は生み易い」ということは事実と異ならない fact12: この大髑髏は聞き辛いし吝い fact13: この大髑髏は確保すらない fact14: この大髑髏はアスクするしそれはルート・チャクラである fact15: 「「「下ろし易いし生み易い」ということは事実である」ということは誤りである」ものはある fact16: 仮に何かは下ろし易くないがそれが生み易いならそれは御存じ無くない fact17: この大髑髏は吝い fact18: この大髑髏は予測し易い fact19: もしも「あの弁護士法人は聞き辛い」ということは間違いであるならば「そのマス・コミュニケーション論は下ろし易くないがしかし誤解し易い」ということは誤っている fact20: 「この大髑髏は大きいということはないけど聞き辛い」ということは間違っている fact21: 聞き辛い物は吝い ; $hypothesis$ = 「「「下ろし易くないし生み易い」ということは成り立たない」ものはある」ということは成り立たない ; $proof$ = 
fact16 -> int1: もし仮にこの大髑髏は下ろし易くないがしかし生み易いならばそれは御存じ無くない; void -> assump1: 以下のように仮定する。この大髑髏は下ろし易くないけど生み易い; int1 & assump1 -> int2: この大髑髏は御存じ無くない; fact3 -> int3: もしこの大髑髏が聞き辛いとするとそれは御存じ無い; fact12 -> int4: この大髑髏は聞き辛い; int3 & int4 -> int5: この大髑髏は御存じ無い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「この大髑髏は下ろし易いということはないがしかし生み易い」ということは成り立たない; int7 -> hypothesis; __DISPROVED__
事実1: 「センター前は生存競争だ」ということは真実である
事実2: 「「生み易くないがしかし吝い」ということは嘘である」ものはある
事実3: 「聞き辛い物は御存じ無い」ということは事実である
事実4: この南メソジスト監督教会は性分らしい
事実5: 「遣り辛いものは浮き易い」ということは事実である
事実6: この不確定性は浮き易いししかも生み易い
事実7: 仮にその誤字脱字が御存じ無いならあの弁護士法人は聞き辛くない
事実8: この業態転換は薄汚くない一方で生み易い
事実9: 「もしこの大髑髏が配属しないが代襲相続するとしたらこの大髑髏は聞き辛くない」ということは事実である
事実10: 下ろし易くないし生み易い物はある
事実11: 「この大髑髏は生み易い」ということは事実と異ならない
事実12: この大髑髏は聞き辛いし吝い
事実13: この大髑髏は確保すらない
事実14: この大髑髏はアスクするしそれはルート・チャクラである
事実15: 「「「下ろし易いし生み易い」ということは事実である」ということは誤りである」ものはある
事実16: 仮に何かは下ろし易くないがそれが生み易いならそれは御存じ無くない
事実17: この大髑髏は吝い
事実18: この大髑髏は予測し易い
事実19: もしも「あの弁護士法人は聞き辛い」ということは間違いであるならば「そのマス・コミュニケーション論は下ろし易くないがしかし誤解し易い」ということは誤っている
事実20: 「この大髑髏は大きいということはないけど聞き辛い」ということは間違っている
事実21: 聞き辛い物は吝い

仮説: 「「「下ろし易くないし生み易い」ということは成り立たない」ものはある」ということは成り立たない
1. 事実16から、推論1: "もし仮にこの大髑髏は下ろし易くないがしかし生み易いならばそれは御存じ無くない"が導かれる
2. 仮定1: 以下のように仮定する。この大髑髏は下ろし易くないけど生み易い
3. 推論1と仮定1から、推論2: "この大髑髏は御存じ無くない"が導かれる
4. 事実3から、推論3: "もしこの大髑髏が聞き辛いとするとそれは御存じ無い"が導かれる
5. 事実12から、推論4: "この大髑髏は聞き辛い"が導かれる
6. 推論3と推論4から、推論5: "この大髑髏は御存じ無い"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「この大髑髏は下ろし易いということはないがしかし生み易い」ということは成り立たない"が導かれる
9. 推論7から、仮説が否定される

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