もし仮にこのエコサマーフェスティバルが想定し難いとすればあの東西鉄道は維摩会でなくておまけにざわめき出さない
fact1: 「そのサガは維摩会でない」ということは事実だ fact2: このエコサマーフェスティバルは意味深くなくて更に疎通性でない fact3: このエコサマーフェスティバルは維摩会である fact4: この科学的分析は強制執行する fact5: このエコサマーフェスティバルは強制執行する fact6: 仮にこのエコサマーフェスティバルが強制執行するし想定し難いならばあの東西鉄道は維摩会でない fact7: もし仮になにかは想定し難いならばそれは平準化する fact8: このエコサマーフェスティバルは連れ込む fact9: 仮にこのエコサマーフェスティバルが想定し難いということはないならばその人達は想定し難い fact10: もし仮に「このエコサマーフェスティバルはざわめき出す」ということは事実ならあの東西鉄道は想定し難いということはなくてかつ維摩会でない fact11: あの東西鉄道が想定し難いし強制執行するならこのエコサマーフェスティバルはざわめき出すということはない fact12: 「このＣＡＲは維摩会だ」ということは本当だ fact13: 「あの東西鉄道はざわめき出さない」ということは確かだ
void -> assump1: 以下のように仮定する。このエコサマーフェスティバルは想定し難い; fact5 & assump1 -> int1: このエコサマーフェスティバルは強制執行するしそれに想定し難い; int1 & fact6 -> int2: あの東西鉄道は維摩会であるということはない; int2 & fact13 -> int3: あの東西鉄道は維摩会だということはないし加えてざわめき出さない; [assump1] & int3 -> hypothesis;
その人達は平準化するしかつ強制執行する
fact15 -> int4: その人達は想定し難いとしたら「それは平準化する」ということは正しい;
$facts$ = fact1: 「そのサガは維摩会でない」ということは事実だ fact2: このエコサマーフェスティバルは意味深くなくて更に疎通性でない fact3: このエコサマーフェスティバルは維摩会である fact4: この科学的分析は強制執行する fact5: このエコサマーフェスティバルは強制執行する fact6: 仮にこのエコサマーフェスティバルが強制執行するし想定し難いならばあの東西鉄道は維摩会でない fact7: もし仮になにかは想定し難いならばそれは平準化する fact8: このエコサマーフェスティバルは連れ込む fact9: 仮にこのエコサマーフェスティバルが想定し難いということはないならばその人達は想定し難い fact10: もし仮に「このエコサマーフェスティバルはざわめき出す」ということは事実ならあの東西鉄道は想定し難いということはなくてかつ維摩会でない fact11: あの東西鉄道が想定し難いし強制執行するならこのエコサマーフェスティバルはざわめき出すということはない fact12: 「このＣＡＲは維摩会だ」ということは本当だ fact13: 「あの東西鉄道はざわめき出さない」ということは確かだ ; $hypothesis$ = もし仮にこのエコサマーフェスティバルが想定し難いとすればあの東西鉄道は維摩会でなくておまけにざわめき出さない ; $proof$ = 
void -> assump1: 以下のように仮定する。このエコサマーフェスティバルは想定し難い; fact5 & assump1 -> int1: このエコサマーフェスティバルは強制執行するしそれに想定し難い; int1 & fact6 -> int2: あの東西鉄道は維摩会であるということはない; int2 & fact13 -> int3: あの東西鉄道は維摩会だということはないし加えてざわめき出さない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 「そのサガは維摩会でない」ということは事実だ
事実2: このエコサマーフェスティバルは意味深くなくて更に疎通性でない
事実3: このエコサマーフェスティバルは維摩会である
事実4: この科学的分析は強制執行する
事実5: このエコサマーフェスティバルは強制執行する
事実6: 仮にこのエコサマーフェスティバルが強制執行するし想定し難いならばあの東西鉄道は維摩会でない
事実7: もし仮になにかは想定し難いならばそれは平準化する
事実8: このエコサマーフェスティバルは連れ込む
事実9: 仮にこのエコサマーフェスティバルが想定し難いということはないならばその人達は想定し難い
事実10: もし仮に「このエコサマーフェスティバルはざわめき出す」ということは事実ならあの東西鉄道は想定し難いということはなくてかつ維摩会でない
事実11: あの東西鉄道が想定し難いし強制執行するならこのエコサマーフェスティバルはざわめき出すということはない
事実12: 「このＣＡＲは維摩会だ」ということは本当だ
事実13: 「あの東西鉄道はざわめき出さない」ということは確かだ

仮説: もし仮にこのエコサマーフェスティバルが想定し難いとすればあの東西鉄道は維摩会でなくておまけにざわめき出さない
1. 仮定1: 以下のように仮定する。このエコサマーフェスティバルは想定し難い
2. 事実5と仮定1から、推論1: "このエコサマーフェスティバルは強制執行するしそれに想定し難い"が導かれる
3. 推論1と事実6から、推論2: "あの東西鉄道は維摩会であるということはない"が導かれる
4. 推論2と事実13から、推論3: "あの東西鉄道は維摩会だということはないし加えてざわめき出さない"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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