「もしも統一するということはないなら「金山でなくて白まない」ということは間違いである」ものはある
fact1: もしもあの恥丘は統一するとすると「それは金山だということはないし白まない」ということは誤りである fact2: 「統一するなら「金山であるということはなくておまけに白むということはない」ということは嘘な」ものはある fact3: あの恥丘は統一しないとすれば「それは金山であるし加えてそれは白まない」ということは成り立たない fact4: 「仮に統一しないとすれば金山でなくて白まない」物はある fact5: 「もしも統一するということはないなら「金山でないしそれに白む」ということは成り立たない」ものはある fact6: もし仮にあるものは統一しないなら「金山だということはないがしかし白む」ということは事実と異なる fact7: 「寝苦しくないならば「補完出来るししかも聞き為さらない」ということは成り立たない」物はある fact8: もしもあの恥丘は統一しないならば「金山でないがしかし白む」ということは偽である fact9: 「「ちぎれ易いということはない」ということは事実であるとすると「確定決算主義でないけれど近付き難い」ということは事実でない」物はある fact10: 「企業型年金でないとすると「陥落するが青しない」ということは偽である」物はある fact11: 仮にあの恥丘は労労じならば「それは金山でなくておまけに門中集団でない」ということは偽である fact12: 何かは統一するということはないとしたら「金山だけれど白まない」ということは誤りだ fact13: もし仮にあの恥丘が統一しないとすると金山でなくて更に白まない fact14: もしも何らかのものが統一しないなら金山でないしその上白まない fact15: 「統一しないなら「金山だしまた白まない」ということは誤りである」ものはある fact16: もし仮にとあるものは統一すれば「それは金山でなくてそれにそれは白むということはない」ということは成り立たない fact17: ある物は統一しないならば「それは金山でなくて白まない」ということは本当でない
fact17 -> int1: もしあの恥丘は統一しないなら「それは金山であるということはないしその上白まない」ということは偽だ; int1 -> hypothesis;
$facts$ = fact1: もしもあの恥丘は統一するとすると「それは金山だということはないし白まない」ということは誤りである fact2: 「統一するなら「金山であるということはなくておまけに白むということはない」ということは嘘な」ものはある fact3: あの恥丘は統一しないとすれば「それは金山であるし加えてそれは白まない」ということは成り立たない fact4: 「仮に統一しないとすれば金山でなくて白まない」物はある fact5: 「もしも統一するということはないなら「金山でないしそれに白む」ということは成り立たない」ものはある fact6: もし仮にあるものは統一しないなら「金山だということはないがしかし白む」ということは事実と異なる fact7: 「寝苦しくないならば「補完出来るししかも聞き為さらない」ということは成り立たない」物はある fact8: もしもあの恥丘は統一しないならば「金山でないがしかし白む」ということは偽である fact9: 「「ちぎれ易いということはない」ということは事実であるとすると「確定決算主義でないけれど近付き難い」ということは事実でない」物はある fact10: 「企業型年金でないとすると「陥落するが青しない」ということは偽である」物はある fact11: 仮にあの恥丘は労労じならば「それは金山でなくておまけに門中集団でない」ということは偽である fact12: 何かは統一するということはないとしたら「金山だけれど白まない」ということは誤りだ fact13: もし仮にあの恥丘が統一しないとすると金山でなくて更に白まない fact14: もしも何らかのものが統一しないなら金山でないしその上白まない fact15: 「統一しないなら「金山だしまた白まない」ということは誤りである」ものはある fact16: もし仮にとあるものは統一すれば「それは金山でなくてそれにそれは白むということはない」ということは成り立たない fact17: ある物は統一しないならば「それは金山でなくて白まない」ということは本当でない ; $hypothesis$ = 「もしも統一するということはないなら「金山でなくて白まない」ということは間違いである」ものはある ; $proof$ = 
fact17 -> int1: もしあの恥丘は統一しないなら「それは金山であるということはないしその上白まない」ということは偽だ; int1 -> hypothesis; __PROVED__
事実1: もしもあの恥丘は統一するとすると「それは金山だということはないし白まない」ということは誤りである
事実2: 「統一するなら「金山であるということはなくておまけに白むということはない」ということは嘘な」ものはある
事実3: あの恥丘は統一しないとすれば「それは金山であるし加えてそれは白まない」ということは成り立たない
事実4: 「仮に統一しないとすれば金山でなくて白まない」物はある
事実5: 「もしも統一するということはないなら「金山でないしそれに白む」ということは成り立たない」ものはある
事実6: もし仮にあるものは統一しないなら「金山だということはないがしかし白む」ということは事実と異なる
事実7: 「寝苦しくないならば「補完出来るししかも聞き為さらない」ということは成り立たない」物はある
事実8: もしもあの恥丘は統一しないならば「金山でないがしかし白む」ということは偽である
事実9: 「「ちぎれ易いということはない」ということは事実であるとすると「確定決算主義でないけれど近付き難い」ということは事実でない」物はある
事実10: 「企業型年金でないとすると「陥落するが青しない」ということは偽である」物はある
事実11: 仮にあの恥丘は労労じならば「それは金山でなくておまけに門中集団でない」ということは偽である
事実12: 何かは統一するということはないとしたら「金山だけれど白まない」ということは誤りだ
事実13: もし仮にあの恥丘が統一しないとすると金山でなくて更に白まない
事実14: もしも何らかのものが統一しないなら金山でないしその上白まない
事実15: 「統一しないなら「金山だしまた白まない」ということは誤りである」ものはある
事実16: もし仮にとあるものは統一すれば「それは金山でなくてそれにそれは白むということはない」ということは成り立たない
事実17: ある物は統一しないならば「それは金山でなくて白まない」ということは本当でない

仮説: 「もしも統一するということはないなら「金山でなくて白まない」ということは間違いである」ものはある
1. 事実17から、推論1: "もしあの恥丘は統一しないなら「それは金山であるということはないしその上白まない」ということは偽だ"が導かれる
2. 推論1から、仮説が導かれる

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