この機能領域は物寂しくない
fact1: もし仮に「この機能領域は成であるしかつ薬剤師だ」ということは偽だとしたらその寝癖は物寂しくない fact2: それは物寂しくて更にそれは成であるというものはない fact3: 成でそれに薬剤師だというものはない fact4: 仮に「この機能領域が薬剤師だしその上それは成である」ということは間違っているとすればその寝癖は物寂しくない fact5: その寝癖が薬剤師でないとしたらこの機能領域は物寂しくない fact6: もし仮に「その寝癖は成でその上薬剤師だ」ということは間違いであるならばあの機能領域は物寂しくない fact7: もし仮になにがしかの物が処遇過程でないとすればそれは物寂しくてまた時間貯蓄銀行である fact8: もしとあるものは時間貯蓄銀行であるなら「それは物寂しい」ということは成り立つ fact9: 成であるし更にそれは物寂しいという物はない
fact3 -> int1: 「その寝癖は成だし薬剤師だ」ということは成り立たない; int1 & fact6 -> hypothesis;
「その寝癖は受け入れ易いしおまけにそれは遜色無い」ということは確かでない
fact10 -> int2: もしも「あの原始地球上は処遇過程でない」ということは成り立つとしたら物寂しくてまたそれは時間貯蓄銀行である;
$facts$ = fact1: もし仮に「この機能領域は成であるしかつ薬剤師だ」ということは偽だとしたらその寝癖は物寂しくない fact2: それは物寂しくて更にそれは成であるというものはない fact3: 成でそれに薬剤師だというものはない fact4: 仮に「この機能領域が薬剤師だしその上それは成である」ということは間違っているとすればその寝癖は物寂しくない fact5: その寝癖が薬剤師でないとしたらこの機能領域は物寂しくない fact6: もし仮に「その寝癖は成でその上薬剤師だ」ということは間違いであるならばあの機能領域は物寂しくない fact7: もし仮になにがしかの物が処遇過程でないとすればそれは物寂しくてまた時間貯蓄銀行である fact8: もしとあるものは時間貯蓄銀行であるなら「それは物寂しい」ということは成り立つ fact9: 成であるし更にそれは物寂しいという物はない ; $hypothesis$ = この機能領域は物寂しくない ; $proof$ = 
fact3 -> int1: 「その寝癖は成だし薬剤師だ」ということは成り立たない; int1 & fact6 -> hypothesis; __PROVED__
事実1: もし仮に「この機能領域は成であるしかつ薬剤師だ」ということは偽だとしたらその寝癖は物寂しくない
事実2: それは物寂しくて更にそれは成であるというものはない
事実3: 成でそれに薬剤師だというものはない
事実4: 仮に「この機能領域が薬剤師だしその上それは成である」ということは間違っているとすればその寝癖は物寂しくない
事実5: その寝癖が薬剤師でないとしたらこの機能領域は物寂しくない
事実6: もし仮に「その寝癖は成でその上薬剤師だ」ということは間違いであるならばあの機能領域は物寂しくない
事実7: もし仮になにがしかの物が処遇過程でないとすればそれは物寂しくてまた時間貯蓄銀行である
事実8: もしとあるものは時間貯蓄銀行であるなら「それは物寂しい」ということは成り立つ
事実9: 成であるし更にそれは物寂しいという物はない

仮説: この機能領域は物寂しくない
1. 事実3から、推論1: "「その寝癖は成だし薬剤師だ」ということは成り立たない"が導かれる
2. 推論1と事実6から、仮説が導かれる

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