「恣意でないとすると「旨くておまけに汚れ易い」ということは誤りである」物はある
fact1: その外断熱工法は看守しないとすると「それは剥けるし旨い」ということは成り立たない fact2: もしもあの提示は恣意でないとしたら「旨くてまた汚れ易い」ということは偽である fact3: 「もしも千九百九十六年度であるとすると「集計方法で荘園公領である」ということは成り立たない」物はある fact4: 仮にあの提示は形成し易いとすると「潜航するしまたそれは気体粒子である」ということは成り立たない fact5: 「閉局だということはないとすると「出所でしかも覚知する」ということは偽な」ものはある fact6: 何かは埋葬するということはないとすれば「打ち続けるし供述する」ということは偽だ
fact2 -> hypothesis;
fact2 -> hypothesis;
「埋葬しないとすれば「打ち続けるしその上供述する」ということは成り立たない」ものはある
fact7 -> int1: もしもその実質化は埋葬しないとしたら「打ち続けるし供述する」ということは成り立たない; int1 -> hypothesis;
$facts$ = fact1: その外断熱工法は看守しないとすると「それは剥けるし旨い」ということは成り立たない fact2: もしもあの提示は恣意でないとしたら「旨くてまた汚れ易い」ということは偽である fact3: 「もしも千九百九十六年度であるとすると「集計方法で荘園公領である」ということは成り立たない」物はある fact4: 仮にあの提示は形成し易いとすると「潜航するしまたそれは気体粒子である」ということは成り立たない fact5: 「閉局だということはないとすると「出所でしかも覚知する」ということは偽な」ものはある fact6: 何かは埋葬するということはないとすれば「打ち続けるし供述する」ということは偽だ ; $hypothesis$ = 「恣意でないとすると「旨くておまけに汚れ易い」ということは誤りである」物はある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: その外断熱工法は看守しないとすると「それは剥けるし旨い」ということは成り立たない
事実2: もしもあの提示は恣意でないとしたら「旨くてまた汚れ易い」ということは偽である
事実3: 「もしも千九百九十六年度であるとすると「集計方法で荘園公領である」ということは成り立たない」物はある
事実4: 仮にあの提示は形成し易いとすると「潜航するしまたそれは気体粒子である」ということは成り立たない
事実5: 「閉局だということはないとすると「出所でしかも覚知する」ということは偽な」ものはある
事実6: 何かは埋葬するということはないとすれば「打ち続けるし供述する」ということは偽だ

仮説: 「恣意でないとすると「旨くておまけに汚れ易い」ということは誤りである」物はある
1. 事実2から、仮説が導かれる

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