「もしも「チェーン展開しないしさらに増え難くない」ということは成り立たないとしたら掛かり易い」物はある
fact1: 「「もしも「チェーン展開しないしさらに増え難い」ということは誤っていれば掛かり易い」ものはある」ということは成り立つ fact2: 「もし多しとすれば「国民生活だ」ということは成り立つ」物はある fact3: 「「チェーン展開するしそれに増え難くない」ということは成り立つということはないとすると掛かり易い」ものはある fact4: 「「広域でないしツイードでない」ということは誤りなら佩く」物はある fact5: 仮に「なにかは取れ易いということはないし叩き為さらない」ということは成り立たないならばそれは掛かり易い fact6: 仮に「あの送受信はチェーン展開しなくてそれに増え難くない」ということは成り立たないとすれば掛かり易い
fact6 -> hypothesis;
もし仮に「この正常化は取れ易くないしそれに叩き為さらない」ということは成り立つということはないならば掛かり易い
fact7 -> hypothesis;
$facts$ = fact1: 「「もしも「チェーン展開しないしさらに増え難い」ということは誤っていれば掛かり易い」ものはある」ということは成り立つ fact2: 「もし多しとすれば「国民生活だ」ということは成り立つ」物はある fact3: 「「チェーン展開するしそれに増え難くない」ということは成り立つということはないとすると掛かり易い」ものはある fact4: 「「広域でないしツイードでない」ということは誤りなら佩く」物はある fact5: 仮に「なにかは取れ易いということはないし叩き為さらない」ということは成り立たないならばそれは掛かり易い fact6: 仮に「あの送受信はチェーン展開しなくてそれに増え難くない」ということは成り立たないとすれば掛かり易い ; $hypothesis$ = 「もしも「チェーン展開しないしさらに増え難くない」ということは成り立たないとしたら掛かり易い」物はある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 「「もしも「チェーン展開しないしさらに増え難い」ということは誤っていれば掛かり易い」ものはある」ということは成り立つ
事実2: 「もし多しとすれば「国民生活だ」ということは成り立つ」物はある
事実3: 「「チェーン展開するしそれに増え難くない」ということは成り立つということはないとすると掛かり易い」ものはある
事実4: 「「広域でないしツイードでない」ということは誤りなら佩く」物はある
事実5: 仮に「なにかは取れ易いということはないし叩き為さらない」ということは成り立たないならばそれは掛かり易い
事実6: 仮に「あの送受信はチェーン展開しなくてそれに増え難くない」ということは成り立たないとすれば掛かり易い

仮説: 「もしも「チェーン展開しないしさらに増え難くない」ということは成り立たないとしたら掛かり易い」物はある
1. 事実6から、仮説が導かれる

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