「算定出来るとすると土耕でないしおまけに痛み易い」物はある
fact1: あの内部詳細が算定出来るとしたらそれは土耕でなくてそれは痛み易い fact2: もしもあの内部詳細が算定出来るとするとそれは土耕でそれにそれは痛み易い fact3: 「もしも算定出来るなら痛み易い」ものはある fact4: 「「もし仮に「算定出来る」ということは成り立つとすれば土耕でない」物はある」ということは確かである fact5: もし仮に「このＢ型慢性肝炎は痛み易い」ということは成り立つとしたら一斉付与である fact6: 「もし仮に「算定出来る」ということは本当であるとすると土耕だしさらに痛み易い」ものはある fact7: 「仮にリトルベリーであるなら高い」物はある fact8: 痛み易いものは焼け残らないがブレーカーである fact9: あの内部詳細が算定出来るとすればそれは痛み易い
fact1 -> hypothesis;
仮にその自治区が痛み易いならばそれは焼け残らなくておまけにブレーカーだ
fact10 -> hypothesis;
$facts$ = fact1: あの内部詳細が算定出来るとしたらそれは土耕でなくてそれは痛み易い fact2: もしもあの内部詳細が算定出来るとするとそれは土耕でそれにそれは痛み易い fact3: 「もしも算定出来るなら痛み易い」ものはある fact4: 「「もし仮に「算定出来る」ということは成り立つとすれば土耕でない」物はある」ということは確かである fact5: もし仮に「このＢ型慢性肝炎は痛み易い」ということは成り立つとしたら一斉付与である fact6: 「もし仮に「算定出来る」ということは本当であるとすると土耕だしさらに痛み易い」ものはある fact7: 「仮にリトルベリーであるなら高い」物はある fact8: 痛み易いものは焼け残らないがブレーカーである fact9: あの内部詳細が算定出来るとすればそれは痛み易い ; $hypothesis$ = 「算定出来るとすると土耕でないしおまけに痛み易い」物はある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: あの内部詳細が算定出来るとしたらそれは土耕でなくてそれは痛み易い
事実2: もしもあの内部詳細が算定出来るとするとそれは土耕でそれにそれは痛み易い
事実3: 「もしも算定出来るなら痛み易い」ものはある
事実4: 「「もし仮に「算定出来る」ということは成り立つとすれば土耕でない」物はある」ということは確かである
事実5: もし仮に「このＢ型慢性肝炎は痛み易い」ということは成り立つとしたら一斉付与である
事実6: 「もし仮に「算定出来る」ということは本当であるとすると土耕だしさらに痛み易い」ものはある
事実7: 「仮にリトルベリーであるなら高い」物はある
事実8: 痛み易いものは焼け残らないがブレーカーである
事実9: あの内部詳細が算定出来るとすればそれは痛み易い

仮説: 「算定出来るとすると土耕でないしおまけに痛み易い」物はある
1. 事実1から、仮説が導かれる

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