「木目細かくないとしたら乾き易いしその上聡い」ものはある
fact1: もしも「その平均罅割れ幅は説明し易いということはない」ということは成り立つならインフォ龍馬である fact2: 「仮に侵入し易くないとすれば回り込む」ものはある fact3: 「入札しないとすれば煮詰める」物はある fact4: もしこの甲殻類が木目細かくないとすると乾き易い fact5: なんらかの物が株式でないとしたらそれは移動度スペクトルであるしそれは引き倒す fact6: もしこの甲殻類は生白くないとすれば「それは木目細かい」ということは真実だ fact7: 「「土気色でないとするとレジオネラ菌である」物はある」ということは本当だ fact8: 「変移でないとすれば表示す」ものはある fact9: この甲殻類が説明し易くないとすると乾き易くてかつそれは出入りし易い fact10: もしもこの甲殻類が木目細かいということはないとするとそれは乾き易いしさらにそれは聡い fact11: もしもこの甲殻類は説明し易くないならそれはブラックホールだ
fact10 -> hypothesis;
「仮に株式でないとしたら移動度スペクトルで引き倒す」物はある
fact12 -> int1: もしもあの転写本は株式でないとしたら移動度スペクトルであるし引き倒す; int1 -> hypothesis;
$facts$ = fact1: もしも「その平均罅割れ幅は説明し易いということはない」ということは成り立つならインフォ龍馬である fact2: 「仮に侵入し易くないとすれば回り込む」ものはある fact3: 「入札しないとすれば煮詰める」物はある fact4: もしこの甲殻類が木目細かくないとすると乾き易い fact5: なんらかの物が株式でないとしたらそれは移動度スペクトルであるしそれは引き倒す fact6: もしこの甲殻類は生白くないとすれば「それは木目細かい」ということは真実だ fact7: 「「土気色でないとするとレジオネラ菌である」物はある」ということは本当だ fact8: 「変移でないとすれば表示す」ものはある fact9: この甲殻類が説明し易くないとすると乾き易くてかつそれは出入りし易い fact10: もしもこの甲殻類が木目細かいということはないとするとそれは乾き易いしさらにそれは聡い fact11: もしもこの甲殻類は説明し易くないならそれはブラックホールだ ; $hypothesis$ = 「木目細かくないとしたら乾き易いしその上聡い」ものはある ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: もしも「その平均罅割れ幅は説明し易いということはない」ということは成り立つならインフォ龍馬である
事実2: 「仮に侵入し易くないとすれば回り込む」ものはある
事実3: 「入札しないとすれば煮詰める」物はある
事実4: もしこの甲殻類が木目細かくないとすると乾き易い
事実5: なんらかの物が株式でないとしたらそれは移動度スペクトルであるしそれは引き倒す
事実6: もしこの甲殻類は生白くないとすれば「それは木目細かい」ということは真実だ
事実7: 「「土気色でないとするとレジオネラ菌である」物はある」ということは本当だ
事実8: 「変移でないとすれば表示す」ものはある
事実9: この甲殻類が説明し易くないとすると乾き易くてかつそれは出入りし易い
事実10: もしもこの甲殻類が木目細かいということはないとするとそれは乾き易いしさらにそれは聡い
事実11: もしもこの甲殻類は説明し易くないならそれはブラックホールだ

仮説: 「木目細かくないとしたら乾き易いしその上聡い」ものはある
1. 事実10から、仮説が導かれる

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