「もしも遠いなら「しこり立たないが大量消費する」ということは成り立たない」ものはある
fact1: もしもその変移は遠いとすれば「しこり立つしそれは大量消費する」ということは成り立たない fact2: 「もし切り離し難いなら「「植民地問題でなくて行き易い」ということは正しい」ということは成り立たない」ものはある fact3: 「もし仮に追い掛け回すとすれば「久しくないけれど掻っ攫う」ということは偽である」物はある fact4: 仮にその変移が遠いならしこり立たなくてまた大量消費する fact5: もしもその変移は遠いとしたら「しこり立たないし加えて大量消費する」ということは嘘である fact6: もし仮にあのストレス測定は原法であるならば「それはしこり立たない一方で社会主義思想である」ということは成り立たない fact7: もしなんらかの物は切れ落ちるとすると「それは景勝でないがしかし大量消費する」ということは成り立たない fact8: もし仮にあの資金が遠いならそれは塗り込まないがしかし化学作用だ fact9: 「仮に遠いなら「しこり立つしまた大量消費する」ということは誤りである」物はある fact10: もし仮にそのオフタイムは遊休時間であるならば「それはしこり立たないがしかし鳴き止む」ということは成り立たない fact11: 仮にその変移は手早いとすると「第一四分位数でないけど絵本作家である」ということは間違いだ fact12: 「仮に遠いならばしこり立たないしさらに大量消費する」物はある fact13: もし仮になんらかのものは漸増するなら「世知辛いということはないしさらにそれは遊休時間である」ということは誤りだ fact14: もしもある物は加工賃であるならば「「それは正月三箇日だということはないし締めっぽい」ということは誤りでない」ということは真実でない
fact5 -> hypothesis;
「仮に加工賃なら「正月三箇日でなくてまた締めっぽい」ということは本当でない」ものはある
fact15 -> int1: もし仮にこのスタジオ側は加工賃であるとすれば「それは正月三箇日でないしかつそれは締めっぽい」ということは真実でない; int1 -> hypothesis;
$facts$ = fact1: もしもその変移は遠いとすれば「しこり立つしそれは大量消費する」ということは成り立たない fact2: 「もし切り離し難いなら「「植民地問題でなくて行き易い」ということは正しい」ということは成り立たない」ものはある fact3: 「もし仮に追い掛け回すとすれば「久しくないけれど掻っ攫う」ということは偽である」物はある fact4: 仮にその変移が遠いならしこり立たなくてまた大量消費する fact5: もしもその変移は遠いとしたら「しこり立たないし加えて大量消費する」ということは嘘である fact6: もし仮にあのストレス測定は原法であるならば「それはしこり立たない一方で社会主義思想である」ということは成り立たない fact7: もしなんらかの物は切れ落ちるとすると「それは景勝でないがしかし大量消費する」ということは成り立たない fact8: もし仮にあの資金が遠いならそれは塗り込まないがしかし化学作用だ fact9: 「仮に遠いなら「しこり立つしまた大量消費する」ということは誤りである」物はある fact10: もし仮にそのオフタイムは遊休時間であるならば「それはしこり立たないがしかし鳴き止む」ということは成り立たない fact11: 仮にその変移は手早いとすると「第一四分位数でないけど絵本作家である」ということは間違いだ fact12: 「仮に遠いならばしこり立たないしさらに大量消費する」物はある fact13: もし仮になんらかのものは漸増するなら「世知辛いということはないしさらにそれは遊休時間である」ということは誤りだ fact14: もしもある物は加工賃であるならば「「それは正月三箇日だということはないし締めっぽい」ということは誤りでない」ということは真実でない ; $hypothesis$ = 「もしも遠いなら「しこり立たないが大量消費する」ということは成り立たない」ものはある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: もしもその変移は遠いとすれば「しこり立つしそれは大量消費する」ということは成り立たない
事実2: 「もし切り離し難いなら「「植民地問題でなくて行き易い」ということは正しい」ということは成り立たない」ものはある
事実3: 「もし仮に追い掛け回すとすれば「久しくないけれど掻っ攫う」ということは偽である」物はある
事実4: 仮にその変移が遠いならしこり立たなくてまた大量消費する
事実5: もしもその変移は遠いとしたら「しこり立たないし加えて大量消費する」ということは嘘である
事実6: もし仮にあのストレス測定は原法であるならば「それはしこり立たない一方で社会主義思想である」ということは成り立たない
事実7: もしなんらかの物は切れ落ちるとすると「それは景勝でないがしかし大量消費する」ということは成り立たない
事実8: もし仮にあの資金が遠いならそれは塗り込まないがしかし化学作用だ
事実9: 「仮に遠いなら「しこり立つしまた大量消費する」ということは誤りである」物はある
事実10: もし仮にそのオフタイムは遊休時間であるならば「それはしこり立たないがしかし鳴き止む」ということは成り立たない
事実11: 仮にその変移は手早いとすると「第一四分位数でないけど絵本作家である」ということは間違いだ
事実12: 「仮に遠いならばしこり立たないしさらに大量消費する」物はある
事実13: もし仮になんらかのものは漸増するなら「世知辛いということはないしさらにそれは遊休時間である」ということは誤りだ
事実14: もしもある物は加工賃であるならば「「それは正月三箇日だということはないし締めっぽい」ということは誤りでない」ということは真実でない

仮説: 「もしも遠いなら「しこり立たないが大量消費する」ということは成り立たない」ものはある
1. 事実5から、仮説が導かれる

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