「もしも取り入るとすれば繁忙期でないし加えて流せない」物はある
fact1: もし仮にこの伸長が標準装着するしそれが取り入れば帯下でない fact2: 「「御話しに成るしさらに中央館でない」ということは偽である」物はある fact3: もしも「この伸長は帯下でない」ということは成り立つなら繁忙期でないし流せない fact4: 仮に「「この伸長は流せなくておまけにそれは繁忙期でない」ということは嘘だ」ということは成り立つとすると「ズーミングである」ということは真実だ fact5: 「「御話しに成るけれど中央館でない」ということは成り立たない」物があるならこの伸長は標準装着する fact6: その弱々しさは繁忙期である
fact2 & fact5 -> int1: この伸長は標準装着する; void -> assump1: 以下のように仮定する。この伸長は取り入る; int1 & assump1 -> int2: この伸長は標準装着するしまたそれは取り入る; int2 & fact1 -> int3: この伸長は帯下でない; int3 & fact3 -> int4: この伸長は繁忙期でなくておまけに流せるということはない; [assump1] & int4 -> int5: もしも「この伸長は取り入る」ということは真実だとすれば繁忙期でないし流せない; int5 -> hypothesis;
「この伸長はズーミングだしその上受け易い」ということは成り立つ
fact8 -> int6: 「繁忙期である」物はある;
$facts$ = fact1: もし仮にこの伸長が標準装着するしそれが取り入れば帯下でない fact2: 「「御話しに成るしさらに中央館でない」ということは偽である」物はある fact3: もしも「この伸長は帯下でない」ということは成り立つなら繁忙期でないし流せない fact4: 仮に「「この伸長は流せなくておまけにそれは繁忙期でない」ということは嘘だ」ということは成り立つとすると「ズーミングである」ということは真実だ fact5: 「「御話しに成るけれど中央館でない」ということは成り立たない」物があるならこの伸長は標準装着する fact6: その弱々しさは繁忙期である ; $hypothesis$ = 「もしも取り入るとすれば繁忙期でないし加えて流せない」物はある ; $proof$ = 
fact2 & fact5 -> int1: この伸長は標準装着する; void -> assump1: 以下のように仮定する。この伸長は取り入る; int1 & assump1 -> int2: この伸長は標準装着するしまたそれは取り入る; int2 & fact1 -> int3: この伸長は帯下でない; int3 & fact3 -> int4: この伸長は繁忙期でなくておまけに流せるということはない; [assump1] & int4 -> int5: もしも「この伸長は取り入る」ということは真実だとすれば繁忙期でないし流せない; int5 -> hypothesis; __PROVED__
事実1: もし仮にこの伸長が標準装着するしそれが取り入れば帯下でない
事実2: 「「御話しに成るしさらに中央館でない」ということは偽である」物はある
事実3: もしも「この伸長は帯下でない」ということは成り立つなら繁忙期でないし流せない
事実4: 仮に「「この伸長は流せなくておまけにそれは繁忙期でない」ということは嘘だ」ということは成り立つとすると「ズーミングである」ということは真実だ
事実5: 「「御話しに成るけれど中央館でない」ということは成り立たない」物があるならこの伸長は標準装着する
事実6: その弱々しさは繁忙期である

仮説: 「もしも取り入るとすれば繁忙期でないし加えて流せない」物はある
1. 事実2と事実5から、推論1: "この伸長は標準装着する"が導かれる
2. 仮定1: 以下のように仮定する。この伸長は取り入る
3. 推論1と仮定1から、推論2: "この伸長は標準装着するしまたそれは取り入る"が導かれる
4. 推論2と事実1から、推論3: "この伸長は帯下でない"が導かれる
5. 推論3と事実3から、推論4: "この伸長は繁忙期でなくておまけに流せるということはない"が導かれる
6. [仮定1]と推論4から、推論5: "もしも「この伸長は取り入る」ということは真実だとすれば繁忙期でないし流せない"が導かれる
7. 推論5から、仮説が導かれる

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