「もし文芸評論家でないしデジタルコンテンツであるとしたらべた付き易い」物はある
fact1: なにがしかの物が前提しないけどそれが御し易いとすると明らむ fact2: 仮にその着地は負け越すということはない一方で文芸評論家であるとすればそれは疑い深い fact3: 「もし文芸評論家でデジタルコンテンツだとするとべた付き易い」物はある fact4: 「仮に二百年後でないけれど弑逆だとすれば悔やむ」物はある fact5: その着地は文芸評論家であるし加えてデジタルコンテンツだとするとそれはべた付き易い fact6: 「もし導出するということはないけど参画すれば二百年後である」ものはある fact7: その真夏以外がさもしいということはないがしかしべた付き易いなら建造出来る fact8: もし仮にある物は傾かないけどデジタルコンテンツならばそれは厚い fact9: その着地は文芸評論家でないがデジタルコンテンツだとすればべた付き易い
fact9 -> hypothesis;
「前提しないけど御し易いとしたら明らむ」物はある
fact10 -> int1: もし仮にこの虫垂炎が前提しないがそれが御し易いならそれは明らむ; int1 -> hypothesis;
$facts$ = fact1: なにがしかの物が前提しないけどそれが御し易いとすると明らむ fact2: 仮にその着地は負け越すということはない一方で文芸評論家であるとすればそれは疑い深い fact3: 「もし文芸評論家でデジタルコンテンツだとするとべた付き易い」物はある fact4: 「仮に二百年後でないけれど弑逆だとすれば悔やむ」物はある fact5: その着地は文芸評論家であるし加えてデジタルコンテンツだとするとそれはべた付き易い fact6: 「もし導出するということはないけど参画すれば二百年後である」ものはある fact7: その真夏以外がさもしいということはないがしかしべた付き易いなら建造出来る fact8: もし仮にある物は傾かないけどデジタルコンテンツならばそれは厚い fact9: その着地は文芸評論家でないがデジタルコンテンツだとすればべた付き易い ; $hypothesis$ = 「もし文芸評論家でないしデジタルコンテンツであるとしたらべた付き易い」物はある ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: なにがしかの物が前提しないけどそれが御し易いとすると明らむ
事実2: 仮にその着地は負け越すということはない一方で文芸評論家であるとすればそれは疑い深い
事実3: 「もし文芸評論家でデジタルコンテンツだとするとべた付き易い」物はある
事実4: 「仮に二百年後でないけれど弑逆だとすれば悔やむ」物はある
事実5: その着地は文芸評論家であるし加えてデジタルコンテンツだとするとそれはべた付き易い
事実6: 「もし導出するということはないけど参画すれば二百年後である」ものはある
事実7: その真夏以外がさもしいということはないがしかしべた付き易いなら建造出来る
事実8: もし仮にある物は傾かないけどデジタルコンテンツならばそれは厚い
事実9: その着地は文芸評論家でないがデジタルコンテンツだとすればべた付き易い

仮説: 「もし文芸評論家でないしデジタルコンテンツであるとしたらべた付き易い」物はある
1. 事実9から、仮説が導かれる

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