「眩しいとすると「プリンタリストである」ということは事実である」ものはある
fact1: そのウェブブラウザが戯れ付けば臍の緒だ fact2: 「もしも肥満気味なら若者らしい」物はある fact3: 「仮に吹き易いとすれば御電話する」ものはある fact4: もし仮にそのウェブブラウザは薄青いとすると「それは隠し込む」ということは確かである fact5: 「仮に争えるとしたら錯乱状態である」ものはある fact6: 「もし「科学史だ」ということは成り立つとすればスチームクリーナーな」ものはある fact7: そのウェブブラウザは眩しいとしたら「それはプリンタリストである」ということは真実だ fact8: 「仮に「抗し難い」ということは成り立つとすると太い」物はある fact9: 仮にある物が胡散臭いとすればそれは増え難い
fact7 -> hypothesis;
「もし胡散臭いとすれば「増え難い」ということは誤りでない」物はある
fact10 -> int1: 仮にあの文房具屋さんが胡散臭いならそれは増え難い; int1 -> hypothesis;
$facts$ = fact1: そのウェブブラウザが戯れ付けば臍の緒だ fact2: 「もしも肥満気味なら若者らしい」物はある fact3: 「仮に吹き易いとすれば御電話する」ものはある fact4: もし仮にそのウェブブラウザは薄青いとすると「それは隠し込む」ということは確かである fact5: 「仮に争えるとしたら錯乱状態である」ものはある fact6: 「もし「科学史だ」ということは成り立つとすればスチームクリーナーな」ものはある fact7: そのウェブブラウザは眩しいとしたら「それはプリンタリストである」ということは真実だ fact8: 「仮に「抗し難い」ということは成り立つとすると太い」物はある fact9: 仮にある物が胡散臭いとすればそれは増え難い ; $hypothesis$ = 「眩しいとすると「プリンタリストである」ということは事実である」ものはある ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: そのウェブブラウザが戯れ付けば臍の緒だ
事実2: 「もしも肥満気味なら若者らしい」物はある
事実3: 「仮に吹き易いとすれば御電話する」ものはある
事実4: もし仮にそのウェブブラウザは薄青いとすると「それは隠し込む」ということは確かである
事実5: 「仮に争えるとしたら錯乱状態である」ものはある
事実6: 「もし「科学史だ」ということは成り立つとすればスチームクリーナーな」ものはある
事実7: そのウェブブラウザは眩しいとしたら「それはプリンタリストである」ということは真実だ
事実8: 「仮に「抗し難い」ということは成り立つとすると太い」物はある
事実9: 仮にある物が胡散臭いとすればそれは増え難い

仮説: 「眩しいとすると「プリンタリストである」ということは事実である」ものはある
1. 事実7から、仮説が導かれる

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