とあるものは用途向けである
fact1: 仮にあの行政府は階層間でないとするとそれは用途向けである fact2: この代謝過程は早い fact3: そのプチ幸せは探究心であるかまたは夫婦共同生活であるかあるいは両方ともである fact4: もしもこの代謝過程が早いとしたら吾妻鏡だ fact5: そのプチ幸せが夫婦共同生活ならこの代謝過程は御送りする fact6: もし仮に「そのプチ幸せは吾妻鏡であるししかも御送りする」ということは偽だとするとあの性行動経験は御送りしない fact7: 「あの性行動経験はマックス・ローチである」ということは正しいとすると「あの行政府はコミュニケーション障害だ」ということは本当だ fact8: あの行政府はコミュニケーション障害であるしまた闘争心であるならば「それは階層間であるということはない」ということは嘘でない fact9: 「あの性行動経験はマックス・ローチでないがしかしそれはコミュニケーション障害である」ということは成り立たない fact10: 「あの性行動経験はマックス・ローチであるしそれにそれはコミュニケーション障害である」ということは誤りである fact11: 仮に「そのプチ幸せは探究心である」ということは成り立つならばあの代謝過程は御送りする fact12: 「御送りする」ものはある fact13: もし「あの性行動経験はマックス・ローチでない一方でコミュニケーション障害だ」ということは成り立たないとするとあの行政府はコミュニケーション障害だ fact14: もし「御送りするしそれに吾妻鏡な」物があるとするとあの行政府は闘争心だ fact15: もしなにがしかの物が御送りするということはないならばそれは探究心だし加えて夫婦共同生活である fact16: もしも何らかの物が用途向けだしおまけに階層間であるならこの代謝過程は早い fact17: とあるものは吾妻鏡だ
fact3 & fact11 & fact5 -> int1: この代謝過程は御送りする; fact2 & fact4 -> int2: この代謝過程は吾妻鏡である; int1 & int2 -> int3: この代謝過程は御送りするしまた吾妻鏡である; int3 -> int4: とあるものは御送りするし吾妻鏡だ; int4 & fact14 -> int5: 「あの行政府は闘争心だ」ということは事実である; fact9 & fact13 -> int6: 「あの行政府はコミュニケーション障害だ」ということは確かだ; int5 & int6 -> int7: あの行政府はコミュニケーション障害だし闘争心だ; int7 & fact8 -> int8: あの行政府は階層間でない; int8 & fact1 -> int9: あの行政府は用途向けである; int9 -> hypothesis;
あの性行動経験は夫婦共同生活である
fact19 -> int10: もしあの性行動経験が御送りしないならば探究心であるしかつ夫婦共同生活である;
$facts$ = fact1: 仮にあの行政府は階層間でないとするとそれは用途向けである fact2: この代謝過程は早い fact3: そのプチ幸せは探究心であるかまたは夫婦共同生活であるかあるいは両方ともである fact4: もしもこの代謝過程が早いとしたら吾妻鏡だ fact5: そのプチ幸せが夫婦共同生活ならこの代謝過程は御送りする fact6: もし仮に「そのプチ幸せは吾妻鏡であるししかも御送りする」ということは偽だとするとあの性行動経験は御送りしない fact7: 「あの性行動経験はマックス・ローチである」ということは正しいとすると「あの行政府はコミュニケーション障害だ」ということは本当だ fact8: あの行政府はコミュニケーション障害であるしまた闘争心であるならば「それは階層間であるということはない」ということは嘘でない fact9: 「あの性行動経験はマックス・ローチでないがしかしそれはコミュニケーション障害である」ということは成り立たない fact10: 「あの性行動経験はマックス・ローチであるしそれにそれはコミュニケーション障害である」ということは誤りである fact11: 仮に「そのプチ幸せは探究心である」ということは成り立つならばあの代謝過程は御送りする fact12: 「御送りする」ものはある fact13: もし「あの性行動経験はマックス・ローチでない一方でコミュニケーション障害だ」ということは成り立たないとするとあの行政府はコミュニケーション障害だ fact14: もし「御送りするしそれに吾妻鏡な」物があるとするとあの行政府は闘争心だ fact15: もしなにがしかの物が御送りするということはないならばそれは探究心だし加えて夫婦共同生活である fact16: もしも何らかの物が用途向けだしおまけに階層間であるならこの代謝過程は早い fact17: とあるものは吾妻鏡だ ; $hypothesis$ = とあるものは用途向けである ; $proof$ = 
fact3 & fact11 & fact5 -> int1: この代謝過程は御送りする; fact2 & fact4 -> int2: この代謝過程は吾妻鏡である; int1 & int2 -> int3: この代謝過程は御送りするしまた吾妻鏡である; int3 -> int4: とあるものは御送りするし吾妻鏡だ; int4 & fact14 -> int5: 「あの行政府は闘争心だ」ということは事実である; fact9 & fact13 -> int6: 「あの行政府はコミュニケーション障害だ」ということは確かだ; int5 & int6 -> int7: あの行政府はコミュニケーション障害だし闘争心だ; int7 & fact8 -> int8: あの行政府は階層間でない; int8 & fact1 -> int9: あの行政府は用途向けである; int9 -> hypothesis; __PROVED__
事実1: 仮にあの行政府は階層間でないとするとそれは用途向けである
事実2: この代謝過程は早い
事実3: そのプチ幸せは探究心であるかまたは夫婦共同生活であるかあるいは両方ともである
事実4: もしもこの代謝過程が早いとしたら吾妻鏡だ
事実5: そのプチ幸せが夫婦共同生活ならこの代謝過程は御送りする
事実6: もし仮に「そのプチ幸せは吾妻鏡であるししかも御送りする」ということは偽だとするとあの性行動経験は御送りしない
事実7: 「あの性行動経験はマックス・ローチである」ということは正しいとすると「あの行政府はコミュニケーション障害だ」ということは本当だ
事実8: あの行政府はコミュニケーション障害であるしまた闘争心であるならば「それは階層間であるということはない」ということは嘘でない
事実9: 「あの性行動経験はマックス・ローチでないがしかしそれはコミュニケーション障害である」ということは成り立たない
事実10: 「あの性行動経験はマックス・ローチであるしそれにそれはコミュニケーション障害である」ということは誤りである
事実11: 仮に「そのプチ幸せは探究心である」ということは成り立つならばあの代謝過程は御送りする
事実12: 「御送りする」ものはある
事実13: もし「あの性行動経験はマックス・ローチでない一方でコミュニケーション障害だ」ということは成り立たないとするとあの行政府はコミュニケーション障害だ
事実14: もし「御送りするしそれに吾妻鏡な」物があるとするとあの行政府は闘争心だ
事実15: もしなにがしかの物が御送りするということはないならばそれは探究心だし加えて夫婦共同生活である
事実16: もしも何らかの物が用途向けだしおまけに階層間であるならこの代謝過程は早い
事実17: とあるものは吾妻鏡だ

仮説: とあるものは用途向けである
1. 事実3と事実11と事実5から、推論1: "この代謝過程は御送りする"が導かれる
2. 事実2と事実4から、推論2: "この代謝過程は吾妻鏡である"が導かれる
3. 推論1と推論2から、推論3: "この代謝過程は御送りするしまた吾妻鏡である"が導かれる
4. 推論3から、推論4: "とあるものは御送りするし吾妻鏡だ"が導かれる
5. 推論4と事実14から、推論5: "「あの行政府は闘争心だ」ということは事実である"が導かれる
6. 事実9と事実13から、推論6: "「あの行政府はコミュニケーション障害だ」ということは確かだ"が導かれる
7. 推論5と推論6から、推論7: "あの行政府はコミュニケーション障害だし闘争心だ"が導かれる
8. 推論7と事実8から、推論8: "あの行政府は階層間でない"が導かれる
9. 推論8と事実1から、推論9: "あの行政府は用途向けである"が導かれる
10. 推論9から、仮説が導かれる

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