「「もしも真っ黒くないならば吸収し易いしさらに町である」ものはある」ということは事実である
fact1: 「相互依存性でないなら航海するしおまけに第二十三師団な」ものはある fact2: 「仮に「に対して見ない」ということは本当であるならば航海するしそれに勧農局である」物はある fact3: その美術史家が真っ黒くないならそれは吸収し易くてかつそれは町である fact4: 「もし仮にデータページでないとするとドールスポンジであるしおまけに実査な」ものはある fact5: もしも「なにかはのめり込まない」ということは確かであるとしたらそれは例外無くてかつ思い出深い fact6: もし仮にこの就学者は善戦しないとすると「それは町である」ということは成り立つ fact7: もし仮にその美術史家が真っ黒くないなら起草者達である fact8: 「もしも「複合化しない」ということは正しいとすると研ぎ澄ますしまたアプローチし易い」ものはある fact9: 「もしも真っ黒くないなら吸収し易い」物はある fact10: 「その美術史家は真っ黒い」ということは真実だとすると吸収し易いし町だ fact11: 「細長いとしたらでかくておまけに山羊な」ものはある
fact3 -> hypothesis;
「のめり込まないならば例外無いしその上思い出深い」物はある
fact12 -> int1: もしもその当該土地はのめり込まないとすれば「それは例外無くて思い出深い」ということは事実だ; int1 -> hypothesis;
$facts$ = fact1: 「相互依存性でないなら航海するしおまけに第二十三師団な」ものはある fact2: 「仮に「に対して見ない」ということは本当であるならば航海するしそれに勧農局である」物はある fact3: その美術史家が真っ黒くないならそれは吸収し易くてかつそれは町である fact4: 「もし仮にデータページでないとするとドールスポンジであるしおまけに実査な」ものはある fact5: もしも「なにかはのめり込まない」ということは確かであるとしたらそれは例外無くてかつ思い出深い fact6: もし仮にこの就学者は善戦しないとすると「それは町である」ということは成り立つ fact7: もし仮にその美術史家が真っ黒くないなら起草者達である fact8: 「もしも「複合化しない」ということは正しいとすると研ぎ澄ますしまたアプローチし易い」ものはある fact9: 「もしも真っ黒くないなら吸収し易い」物はある fact10: 「その美術史家は真っ黒い」ということは真実だとすると吸収し易いし町だ fact11: 「細長いとしたらでかくておまけに山羊な」ものはある ; $hypothesis$ = 「「もしも真っ黒くないならば吸収し易いしさらに町である」ものはある」ということは事実である ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「相互依存性でないなら航海するしおまけに第二十三師団な」ものはある
事実2: 「仮に「に対して見ない」ということは本当であるならば航海するしそれに勧農局である」物はある
事実3: その美術史家が真っ黒くないならそれは吸収し易くてかつそれは町である
事実4: 「もし仮にデータページでないとするとドールスポンジであるしおまけに実査な」ものはある
事実5: もしも「なにかはのめり込まない」ということは確かであるとしたらそれは例外無くてかつ思い出深い
事実6: もし仮にこの就学者は善戦しないとすると「それは町である」ということは成り立つ
事実7: もし仮にその美術史家が真っ黒くないなら起草者達である
事実8: 「もしも「複合化しない」ということは正しいとすると研ぎ澄ますしまたアプローチし易い」ものはある
事実9: 「もしも真っ黒くないなら吸収し易い」物はある
事実10: 「その美術史家は真っ黒い」ということは真実だとすると吸収し易いし町だ
事実11: 「細長いとしたらでかくておまけに山羊な」ものはある

仮説: 「「もしも真っ黒くないならば吸収し易いしさらに町である」ものはある」ということは事実である
1. 事実3から、仮説が導かれる

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