その本領域は聞き取り難い
fact1: もしその睡眠パターンが彼らしくないしかつそれが粗いということはないとすればその本領域は聞き取り難い fact2: 仮にその睡眠パターンは従物であるならば口側である fact3: もしこのドア口は遣り易いとすれば「美々しい」ということは事実である fact4: もし仮にこのドア口が聞き取り難いならばそれは美々しい fact5: もしこのドア口は彼らしくないとしたら「その睡眠パターンは粗くない」ということは真実である fact6: 仮にこのドア口が彼らしくないとすればその睡眠パターンは彼らしくないし粗くない fact7: もしもこのドア口が入れれば遣り易い fact8: もしこのドア口は彼らしいとすれば「入れる」ということは本当だ fact9: 仮に「このドア口は粗くて更に美々しい」ということは成り立たないならその御厨子は美々しかない fact10: このドア口は美々しかない fact11: もしもその睡眠パターンは聞き取り難くないとすると「「このドア口は粗い物でしかも美々しい」ということは成り立たない」ということは誤りだということはない fact12: その睡眠パターンは受託金収入だ fact13: その睡眠パターンは粗くない fact14: 「その睡眠パターンはしどけない一方で聞き取り難いということはない」ということは真実だ
void -> assump1: 以下のように仮定する。「このドア口は彼らしい」ということは確かだ; fact8 & assump1 -> int1: このドア口は入れる; int1 & fact7 -> int2: 「このドア口は遣り易い」ということは正しい; int2 & fact3 -> int3: このドア口は美々しい; int3 & fact10 -> int4: これは矛盾である; [assump1] & int4 -> int5: このドア口は彼らしくない; int5 & fact6 -> int6: その睡眠パターンは彼らしいということはなくて加えて粗くない; int6 & fact1 -> hypothesis;
その御厨子は遣り易い
fact17 -> int7: その睡眠パターンは聞き取り難くない; fact16 & int7 -> int8: 「「このドア口は粗いし美々しい」ということは成り立たない」ということは確かだ; fact15 & int8 -> int9: その御厨子は美々しかない;
$facts$ = fact1: もしその睡眠パターンが彼らしくないしかつそれが粗いということはないとすればその本領域は聞き取り難い fact2: 仮にその睡眠パターンは従物であるならば口側である fact3: もしこのドア口は遣り易いとすれば「美々しい」ということは事実である fact4: もし仮にこのドア口が聞き取り難いならばそれは美々しい fact5: もしこのドア口は彼らしくないとしたら「その睡眠パターンは粗くない」ということは真実である fact6: 仮にこのドア口が彼らしくないとすればその睡眠パターンは彼らしくないし粗くない fact7: もしもこのドア口が入れれば遣り易い fact8: もしこのドア口は彼らしいとすれば「入れる」ということは本当だ fact9: 仮に「このドア口は粗くて更に美々しい」ということは成り立たないならその御厨子は美々しかない fact10: このドア口は美々しかない fact11: もしもその睡眠パターンは聞き取り難くないとすると「「このドア口は粗い物でしかも美々しい」ということは成り立たない」ということは誤りだということはない fact12: その睡眠パターンは受託金収入だ fact13: その睡眠パターンは粗くない fact14: 「その睡眠パターンはしどけない一方で聞き取り難いということはない」ということは真実だ ; $hypothesis$ = その本領域は聞き取り難い ; $proof$ = 
void -> assump1: 以下のように仮定する。「このドア口は彼らしい」ということは確かだ; fact8 & assump1 -> int1: このドア口は入れる; int1 & fact7 -> int2: 「このドア口は遣り易い」ということは正しい; int2 & fact3 -> int3: このドア口は美々しい; int3 & fact10 -> int4: これは矛盾である; [assump1] & int4 -> int5: このドア口は彼らしくない; int5 & fact6 -> int6: その睡眠パターンは彼らしいということはなくて加えて粗くない; int6 & fact1 -> hypothesis; __PROVED__
事実1: もしその睡眠パターンが彼らしくないしかつそれが粗いということはないとすればその本領域は聞き取り難い
事実2: 仮にその睡眠パターンは従物であるならば口側である
事実3: もしこのドア口は遣り易いとすれば「美々しい」ということは事実である
事実4: もし仮にこのドア口が聞き取り難いならばそれは美々しい
事実5: もしこのドア口は彼らしくないとしたら「その睡眠パターンは粗くない」ということは真実である
事実6: 仮にこのドア口が彼らしくないとすればその睡眠パターンは彼らしくないし粗くない
事実7: もしもこのドア口が入れれば遣り易い
事実8: もしこのドア口は彼らしいとすれば「入れる」ということは本当だ
事実9: 仮に「このドア口は粗くて更に美々しい」ということは成り立たないならその御厨子は美々しかない
事実10: このドア口は美々しかない
事実11: もしもその睡眠パターンは聞き取り難くないとすると「「このドア口は粗い物でしかも美々しい」ということは成り立たない」ということは誤りだということはない
事実12: その睡眠パターンは受託金収入だ
事実13: その睡眠パターンは粗くない
事実14: 「その睡眠パターンはしどけない一方で聞き取り難いということはない」ということは真実だ

仮説: その本領域は聞き取り難い
1. 仮定1: 以下のように仮定する。「このドア口は彼らしい」ということは確かだ
2. 事実8と仮定1から、推論1: "このドア口は入れる"が導かれる
3. 推論1と事実7から、推論2: "「このドア口は遣り易い」ということは正しい"が導かれる
4. 推論2と事実3から、推論3: "このドア口は美々しい"が導かれる
5. 推論3と事実10から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "このドア口は彼らしくない"が導かれる
7. 推論5と事実6から、推論6: "その睡眠パターンは彼らしいということはなくて加えて粗くない"が導かれる
8. 推論6と事実1から、仮説が導かれる

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