「仮に粗相するなら「分解され難くないし低波数側でない」ということは誤りな」物はある
fact1: もしなんらかのものは粗相するとすれば「それは分解され難いけれど低波数側であるということはない」ということは確かでない fact2: 「「もしも発症するとすると「見覚えるけれど欠配でない」ということは事実でない」ものはある」ということは本当である fact3: 「「実弟だ」ということは本当であるならば怒りっぽくないし地下深くない」物はある fact4: もし何かはペールだとすると「それは受け継がなくてまた育児ノイローゼだということはない」ということは成り立たない fact5: もしなにがしかの物は粗相するなら「分解され難くないし低波数側でない」ということは間違いだ
fact5 -> int1: 仮にこの憤りは粗相するなら「それは分解され難くないしまたそれは低波数側でない」ということは嘘だ; int1 -> hypothesis;
仮にこの山行アドバイスはペールなら「受け継がなくて育児ノイローゼでない」ということは正しくない
fact6 -> hypothesis;
$facts$ = fact1: もしなんらかのものは粗相するとすれば「それは分解され難いけれど低波数側であるということはない」ということは確かでない fact2: 「「もしも発症するとすると「見覚えるけれど欠配でない」ということは事実でない」ものはある」ということは本当である fact3: 「「実弟だ」ということは本当であるならば怒りっぽくないし地下深くない」物はある fact4: もし何かはペールだとすると「それは受け継がなくてまた育児ノイローゼだということはない」ということは成り立たない fact5: もしなにがしかの物は粗相するなら「分解され難くないし低波数側でない」ということは間違いだ ; $hypothesis$ = 「仮に粗相するなら「分解され難くないし低波数側でない」ということは誤りな」物はある ; $proof$ = 
fact5 -> int1: 仮にこの憤りは粗相するなら「それは分解され難くないしまたそれは低波数側でない」ということは嘘だ; int1 -> hypothesis; __PROVED__
事実1: もしなんらかのものは粗相するとすれば「それは分解され難いけれど低波数側であるということはない」ということは確かでない
事実2: 「「もしも発症するとすると「見覚えるけれど欠配でない」ということは事実でない」ものはある」ということは本当である
事実3: 「「実弟だ」ということは本当であるならば怒りっぽくないし地下深くない」物はある
事実4: もし何かはペールだとすると「それは受け継がなくてまた育児ノイローゼだということはない」ということは成り立たない
事実5: もしなにがしかの物は粗相するなら「分解され難くないし低波数側でない」ということは間違いだ

仮説: 「仮に粗相するなら「分解され難くないし低波数側でない」ということは誤りな」物はある
1. 事実5から、推論1: "仮にこの憤りは粗相するなら「それは分解され難くないしまたそれは低波数側でない」ということは嘘だ"が導かれる
2. 推論1から、仮説が導かれる

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