この小規模は推奨出来るし解け易い
fact1: もし仮に何かはもがくということはないならば会員総数だ fact2: 仮にこの腹膜透析が迷信深いとしたらこの小規模は解け易い fact3: 「この旧市街は推奨出来るしそれは小賢しい」ということは成り立つ fact4: 仮になにかは迷信深くないとしたら「推奨出来るし解け易い」ということは成り立たない fact5: 「重しかもしくは自動算出しないかもしくはどちらもだ」ということは成り立つというものはない fact6: 「この旧市街は重しかもしくは自動算出しない」ということは誤りであるならこの腹膜透析は迷信深い fact7: あの安定株主はもがかない fact8: この小規模はもがかない fact9: もし仮にこの腹膜透析が迷信深くないとすればあのアドレスボタンは看病するし自動算出する fact10: ある物がもがかないとすればそれは会員総数だし推奨出来る
fact5 -> int1: 「この旧市街は重しかまたは自動算出するということはない」ということは成り立つということはない; int1 & fact6 -> int2: この腹膜透析は迷信深い; int2 & fact2 -> int3: この小規模は解け易い; fact10 -> int4: もしも「この小規模はもがかない」ということは事実だとしたらそれは会員総数だし加えて推奨出来る; fact8 & int4 -> int5: この小規模は会員総数だし推奨出来る; int5 -> int6: この小規模は推奨出来る; int3 & int6 -> hypothesis;
「この小規模は推奨出来るししかも解け易い」ということは間違っている
fact11 -> int7: 仮にこの小規模は迷信深くないとすれば「それは推奨出来るしそれにそれは解け易い」ということは嘘である;
$facts$ = fact1: もし仮に何かはもがくということはないならば会員総数だ fact2: 仮にこの腹膜透析が迷信深いとしたらこの小規模は解け易い fact3: 「この旧市街は推奨出来るしそれは小賢しい」ということは成り立つ fact4: 仮になにかは迷信深くないとしたら「推奨出来るし解け易い」ということは成り立たない fact5: 「重しかもしくは自動算出しないかもしくはどちらもだ」ということは成り立つというものはない fact6: 「この旧市街は重しかもしくは自動算出しない」ということは誤りであるならこの腹膜透析は迷信深い fact7: あの安定株主はもがかない fact8: この小規模はもがかない fact9: もし仮にこの腹膜透析が迷信深くないとすればあのアドレスボタンは看病するし自動算出する fact10: ある物がもがかないとすればそれは会員総数だし推奨出来る ; $hypothesis$ = この小規模は推奨出来るし解け易い ; $proof$ = 
fact5 -> int1: 「この旧市街は重しかまたは自動算出するということはない」ということは成り立つということはない; int1 & fact6 -> int2: この腹膜透析は迷信深い; int2 & fact2 -> int3: この小規模は解け易い; fact10 -> int4: もしも「この小規模はもがかない」ということは事実だとしたらそれは会員総数だし加えて推奨出来る; fact8 & int4 -> int5: この小規模は会員総数だし推奨出来る; int5 -> int6: この小規模は推奨出来る; int3 & int6 -> hypothesis; __PROVED__
事実1: もし仮に何かはもがくということはないならば会員総数だ
事実2: 仮にこの腹膜透析が迷信深いとしたらこの小規模は解け易い
事実3: 「この旧市街は推奨出来るしそれは小賢しい」ということは成り立つ
事実4: 仮になにかは迷信深くないとしたら「推奨出来るし解け易い」ということは成り立たない
事実5: 「重しかもしくは自動算出しないかもしくはどちらもだ」ということは成り立つというものはない
事実6: 「この旧市街は重しかもしくは自動算出しない」ということは誤りであるならこの腹膜透析は迷信深い
事実7: あの安定株主はもがかない
事実8: この小規模はもがかない
事実9: もし仮にこの腹膜透析が迷信深くないとすればあのアドレスボタンは看病するし自動算出する
事実10: ある物がもがかないとすればそれは会員総数だし推奨出来る

仮説: この小規模は推奨出来るし解け易い
1. 事実5から、推論1: "「この旧市街は重しかまたは自動算出するということはない」ということは成り立つということはない"が導かれる
2. 推論1と事実6から、推論2: "この腹膜透析は迷信深い"が導かれる
3. 推論2と事実2から、推論3: "この小規模は解け易い"が導かれる
4. 事実10から、推論4: "もしも「この小規模はもがかない」ということは事実だとしたらそれは会員総数だし加えて推奨出来る"が導かれる
5. 事実8と推論4から、推論5: "この小規模は会員総数だし推奨出来る"が導かれる
6. 推論5から、推論6: "この小規模は推奨出来る"が導かれる
7. 推論3と推論6から、仮説が導かれる

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