「もし仮に読み易くないしその上住所録ファイルでないならば名高い」物はある
fact1: もしそのインフレーションホールが読み易くないがそれは住所録ファイルであるとするとそれは名高い fact2: もし仮にそのインフレーションホールは恙無くないけど平行なら住所録ファイルである fact3: 「もしも読み易くないしかつ住所録ファイルならば「名高い」ということは確かな」ものはある fact4: もしもあのノックバックは熱くないしその上がり版でないとしたら名高い fact5: 「もし恙無くないしまた休み為さるということはないならば取り置く」ものはある fact6: もしも残り難くないものが統合化しないとすると読み易い fact7: 「もしも読み易くてさらに住所録ファイルでないとしたら「名高いということはない」ということは誤りである」物はある fact8: もし仮にそのインフレーションホールが読み易くないしかつそれは住所録ファイルであるということはないならば名高い fact9: 「もし平準化するということはなくて加えて成され易くないならば掘れる」物はある fact10: 「もし御安くなくてそれにカラーページでないとすれば「海浜である」ということは確かな」物はある fact11: 仮にそのインフレーションホールが読み易いがしかしそれは住所録ファイルでないとするとそれは名高い
fact8 -> hypothesis;
仮に「あの体心立方は残り難いということはないし統合化しない」ということは確かだとしたらそれは読み易い
fact12 -> hypothesis;
$facts$ = fact1: もしそのインフレーションホールが読み易くないがそれは住所録ファイルであるとするとそれは名高い fact2: もし仮にそのインフレーションホールは恙無くないけど平行なら住所録ファイルである fact3: 「もしも読み易くないしかつ住所録ファイルならば「名高い」ということは確かな」ものはある fact4: もしもあのノックバックは熱くないしその上がり版でないとしたら名高い fact5: 「もし恙無くないしまた休み為さるということはないならば取り置く」ものはある fact6: もしも残り難くないものが統合化しないとすると読み易い fact7: 「もしも読み易くてさらに住所録ファイルでないとしたら「名高いということはない」ということは誤りである」物はある fact8: もし仮にそのインフレーションホールが読み易くないしかつそれは住所録ファイルであるということはないならば名高い fact9: 「もし平準化するということはなくて加えて成され易くないならば掘れる」物はある fact10: 「もし御安くなくてそれにカラーページでないとすれば「海浜である」ということは確かな」物はある fact11: 仮にそのインフレーションホールが読み易いがしかしそれは住所録ファイルでないとするとそれは名高い ; $hypothesis$ = 「もし仮に読み易くないしその上住所録ファイルでないならば名高い」物はある ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: もしそのインフレーションホールが読み易くないがそれは住所録ファイルであるとするとそれは名高い
事実2: もし仮にそのインフレーションホールは恙無くないけど平行なら住所録ファイルである
事実3: 「もしも読み易くないしかつ住所録ファイルならば「名高い」ということは確かな」ものはある
事実4: もしもあのノックバックは熱くないしその上がり版でないとしたら名高い
事実5: 「もし恙無くないしまた休み為さるということはないならば取り置く」ものはある
事実6: もしも残り難くないものが統合化しないとすると読み易い
事実7: 「もしも読み易くてさらに住所録ファイルでないとしたら「名高いということはない」ということは誤りである」物はある
事実8: もし仮にそのインフレーションホールが読み易くないしかつそれは住所録ファイルであるということはないならば名高い
事実9: 「もし平準化するということはなくて加えて成され易くないならば掘れる」物はある
事実10: 「もし御安くなくてそれにカラーページでないとすれば「海浜である」ということは確かな」物はある
事実11: 仮にそのインフレーションホールが読み易いがしかしそれは住所録ファイルでないとするとそれは名高い

仮説: 「もし仮に読み易くないしその上住所録ファイルでないならば名高い」物はある
1. 事実8から、仮説が導かれる

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