このディーンは用い易い
fact1: 何もかもは照れ臭いということはない fact2: 「このディーンは上程でないけれど無い」ということは成り立たない fact3: もし仮にその皇道は直り難いということはないとすれば「それは用い易いししかも真理性だ」ということは本当である fact4: もしこのディーンが無くないとしたら真理性だ fact5: この前掲論文参照は上程だ fact6: もし仮に「あのインセンティブ効果は研がなくてそれに左右され易くない」ということは誤っていればこの進歩性は研がない fact7: 「あのインセンティブ効果は分離出来るけどそれは壊れ難くない」ということは偽であるならそれはＨＰＴＬＣでない fact8: もし何らかの物は照れ臭くないなら「それは分離出来るしそれは壊れ難くない」ということは真実でない fact9: もし仮に「このディーンは上程でないがしかし無い」ということは偽であるとしたら「それは真理性だ」ということは事実である fact10: その漿液は無い fact11: このディーンは見窄らしい fact12: もし仮に何かは真理性だとしたらそれは用い易い
fact9 & fact2 -> int1: このディーンは真理性である; fact12 -> int2: もしもこのディーンは真理性であるとすればそれは用い易い; int1 & int2 -> hypothesis;
このディーンは用い易くない
fact14 -> int3: もしもあの政策形成は照れ臭くないなら「それは分離出来るがしかし壊れ難くない」ということは嘘だ; fact13 -> int4: あの政策形成は照れ臭くない; int3 & int4 -> int5: 「あの政策形成は分離出来るがしかしそれは壊れ難くない」ということは誤っている; int5 -> int6: 分離出来るし壊れ難くないというものはない; int6 -> int7: 「あのインセンティブ効果は分離出来るけど壊れ難くない」ということは誤りである; int7 & fact16 -> int8: あのインセンティブ効果はＨＰＴＬＣでない;
$facts$ = fact1: 何もかもは照れ臭いということはない fact2: 「このディーンは上程でないけれど無い」ということは成り立たない fact3: もし仮にその皇道は直り難いということはないとすれば「それは用い易いししかも真理性だ」ということは本当である fact4: もしこのディーンが無くないとしたら真理性だ fact5: この前掲論文参照は上程だ fact6: もし仮に「あのインセンティブ効果は研がなくてそれに左右され易くない」ということは誤っていればこの進歩性は研がない fact7: 「あのインセンティブ効果は分離出来るけどそれは壊れ難くない」ということは偽であるならそれはＨＰＴＬＣでない fact8: もし何らかの物は照れ臭くないなら「それは分離出来るしそれは壊れ難くない」ということは真実でない fact9: もし仮に「このディーンは上程でないがしかし無い」ということは偽であるとしたら「それは真理性だ」ということは事実である fact10: その漿液は無い fact11: このディーンは見窄らしい fact12: もし仮に何かは真理性だとしたらそれは用い易い ; $hypothesis$ = このディーンは用い易い ; $proof$ = 
fact9 & fact2 -> int1: このディーンは真理性である; fact12 -> int2: もしもこのディーンは真理性であるとすればそれは用い易い; int1 & int2 -> hypothesis; __PROVED__
事実1: 何もかもは照れ臭いということはない
事実2: 「このディーンは上程でないけれど無い」ということは成り立たない
事実3: もし仮にその皇道は直り難いということはないとすれば「それは用い易いししかも真理性だ」ということは本当である
事実4: もしこのディーンが無くないとしたら真理性だ
事実5: この前掲論文参照は上程だ
事実6: もし仮に「あのインセンティブ効果は研がなくてそれに左右され易くない」ということは誤っていればこの進歩性は研がない
事実7: 「あのインセンティブ効果は分離出来るけどそれは壊れ難くない」ということは偽であるならそれはＨＰＴＬＣでない
事実8: もし何らかの物は照れ臭くないなら「それは分離出来るしそれは壊れ難くない」ということは真実でない
事実9: もし仮に「このディーンは上程でないがしかし無い」ということは偽であるとしたら「それは真理性だ」ということは事実である
事実10: その漿液は無い
事実11: このディーンは見窄らしい
事実12: もし仮に何かは真理性だとしたらそれは用い易い

仮説: このディーンは用い易い
1. 事実9と事実2から、推論1: "このディーンは真理性である"が導かれる
2. 事実12から、推論2: "もしもこのディーンは真理性であるとすればそれは用い易い"が導かれる
3. 推論1と推論2から、仮説が導かれる

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