「もし物々しいとしたら「「地域産業でないけど各駅だ」ということは事実である」ということは成り立たない」ものはある
fact1: 「もし物々しいとすれば「地域産業だし各駅である」ということは成り立たない」物はある fact2: 仮にあの報知が物々しいなら丸っこい fact3: 「もし仮に三年以下ならば「物珍しいし解消す」ということは間違っている」物はある fact4: もしもあの報知が丸っこいとしたらそれは地域産業でなくて加えて各駅だ fact5: あるものは丸っこいとしたら「それは地域産業でないけれど各駅である」ということは成り立つということはない fact6: もしもあの報知が物々しいならば地域産業でないが各駅だ fact7: もしもあの報知は物々しいとしたら「それは地域産業であるし加えて各駅だ」ということは成り立たない
void -> assump1: 以下のように仮定する。「あの報知は物々しい」ということは事実と異なるということはない; fact2 & assump1 -> int1: あの報知は丸っこい; fact5 -> int2: 仮にあの報知は丸っこいなら「地域産業でないがしかし各駅だ」ということは事実でない; int1 & int2 -> int3: 「あの報知は地域産業でない一方で各駅である」ということは偽だ; [assump1] & int3 -> int4: もしあの報知は物々しいとすれば「それは地域産業でなくて更にそれは各駅である」ということは誤りである; int4 -> hypothesis;
$facts$ = fact1: 「もし物々しいとすれば「地域産業だし各駅である」ということは成り立たない」物はある fact2: 仮にあの報知が物々しいなら丸っこい fact3: 「もし仮に三年以下ならば「物珍しいし解消す」ということは間違っている」物はある fact4: もしもあの報知が丸っこいとしたらそれは地域産業でなくて加えて各駅だ fact5: あるものは丸っこいとしたら「それは地域産業でないけれど各駅である」ということは成り立つということはない fact6: もしもあの報知が物々しいならば地域産業でないが各駅だ fact7: もしもあの報知は物々しいとしたら「それは地域産業であるし加えて各駅だ」ということは成り立たない ; $hypothesis$ = 「もし物々しいとしたら「「地域産業でないけど各駅だ」ということは事実である」ということは成り立たない」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの報知は物々しい」ということは事実と異なるということはない; fact2 & assump1 -> int1: あの報知は丸っこい; fact5 -> int2: 仮にあの報知は丸っこいなら「地域産業でないがしかし各駅だ」ということは事実でない; int1 & int2 -> int3: 「あの報知は地域産業でない一方で各駅である」ということは偽だ; [assump1] & int3 -> int4: もしあの報知は物々しいとすれば「それは地域産業でなくて更にそれは各駅である」ということは誤りである; int4 -> hypothesis; __PROVED__
事実1: 「もし物々しいとすれば「地域産業だし各駅である」ということは成り立たない」物はある
事実2: 仮にあの報知が物々しいなら丸っこい
事実3: 「もし仮に三年以下ならば「物珍しいし解消す」ということは間違っている」物はある
事実4: もしもあの報知が丸っこいとしたらそれは地域産業でなくて加えて各駅だ
事実5: あるものは丸っこいとしたら「それは地域産業でないけれど各駅である」ということは成り立つということはない
事実6: もしもあの報知が物々しいならば地域産業でないが各駅だ
事実7: もしもあの報知は物々しいとしたら「それは地域産業であるし加えて各駅だ」ということは成り立たない

仮説: 「もし物々しいとしたら「「地域産業でないけど各駅だ」ということは事実である」ということは成り立たない」ものはある
1. 仮定1: 以下のように仮定する。「あの報知は物々しい」ということは事実と異なるということはない
2. 事実2と仮定1から、推論1: "あの報知は丸っこい"が導かれる
3. 事実5から、推論2: "仮にあの報知は丸っこいなら「地域産業でないがしかし各駅だ」ということは事実でない"が導かれる
4. 推論1と推論2から、推論3: "「あの報知は地域産業でない一方で各駅である」ということは偽だ"が導かれる
5. [仮定1]と推論3から、推論4: "もしあの報知は物々しいとすれば「それは地域産業でなくて更にそれは各駅である」ということは誤りである"が導かれる
6. 推論4から、仮説が導かれる

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