「もし仮に「騒々しくないし加えて我慢するということはない」ということは成り立つということはないとしたら平たいということはない」ものはある
fact1: 「えぐいならば著効しない」ものはある fact2: もし仮に「あの肩凝り・腰痛は騒々しくなくて加えて我慢しない」ということは偽であるなら「平たくない」ということは事実である fact3: もし仮に「あの肩凝り・腰痛は騒々しくないけど我慢する」ということは誤っているとすれば「それは平たくない」ということは確かである fact4: 「とあるものは遜色無くなくて晴々しない」ということは成り立たないとすれば有るらしくない fact5: 仮に「あの肩凝り・腰痛は虐待しないし我慢しない」ということは間違っているとするとそれは保ち易い
fact2 -> hypothesis;
「もし「遜色無くないしかつ晴々しない」ということは誤っていれば有るらしくない」物はある
fact6 -> int1: もし仮に「あの大部数は遜色無くなくてしかも晴々するということはない」ということは嘘であるとすれば「それは有るらしくない」ということは成り立つ; int1 -> hypothesis;
$facts$ = fact1: 「えぐいならば著効しない」ものはある fact2: もし仮に「あの肩凝り・腰痛は騒々しくなくて加えて我慢しない」ということは偽であるなら「平たくない」ということは事実である fact3: もし仮に「あの肩凝り・腰痛は騒々しくないけど我慢する」ということは誤っているとすれば「それは平たくない」ということは確かである fact4: 「とあるものは遜色無くなくて晴々しない」ということは成り立たないとすれば有るらしくない fact5: 仮に「あの肩凝り・腰痛は虐待しないし我慢しない」ということは間違っているとするとそれは保ち易い ; $hypothesis$ = 「もし仮に「騒々しくないし加えて我慢するということはない」ということは成り立つということはないとしたら平たいということはない」ものはある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 「えぐいならば著効しない」ものはある
事実2: もし仮に「あの肩凝り・腰痛は騒々しくなくて加えて我慢しない」ということは偽であるなら「平たくない」ということは事実である
事実3: もし仮に「あの肩凝り・腰痛は騒々しくないけど我慢する」ということは誤っているとすれば「それは平たくない」ということは確かである
事実4: 「とあるものは遜色無くなくて晴々しない」ということは成り立たないとすれば有るらしくない
事実5: 仮に「あの肩凝り・腰痛は虐待しないし我慢しない」ということは間違っているとするとそれは保ち易い

仮説: 「もし仮に「騒々しくないし加えて我慢するということはない」ということは成り立つということはないとしたら平たいということはない」ものはある
1. 事実2から、仮説が導かれる

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