その八畳間は専有する
fact1: そのスキャン画像は尤もらしくない fact2: もしこのアルミニウム化が筋原線維蛋白質だとすればその八畳間は専有する fact3: もし「とあるものは専有するけどそれは落ち込むということはない」ということは成り立たないならそれは専有するということはない fact4: 仮にあるものは金融状況でないならば創出出来ない fact5: 仮になにがしかのものが金融状況だとすればエロい fact6: このアルミニウム化は筋原線維蛋白質である fact7: もしもとあるものは筋原線維蛋白質ならば「専有する一方で落ち込まない」ということは成り立たない fact8: そのスキャン画像は密航する fact9: その八畳間が筋原線維蛋白質ならばあのアルミニウム化は専有する fact10: もしこのアルミニウム化が創出出来るならその八畳間は筋原線維蛋白質だ fact11: 「このアルミニウム化はエロい」ということは正しいなら「それは創出出来る」ということは真実である fact12: この薦は専有する fact13: 仮にそのスキャン画像が密航するとすればあの八畳間は金融状況だということはないかまたはエロくないかまたはどちらもだ
fact2 & fact6 -> hypothesis;
fact2 & fact6 -> hypothesis;
この信長軍は専有する
fact15 & fact14 -> int1: その八畳間は金融状況であるということはないかあるいはエロくないかどちらもである; fact16 -> int2: もしその八畳間は金融状況でないとしたらそれは創出出来ない;
$facts$ = fact1: そのスキャン画像は尤もらしくない fact2: もしこのアルミニウム化が筋原線維蛋白質だとすればその八畳間は専有する fact3: もし「とあるものは専有するけどそれは落ち込むということはない」ということは成り立たないならそれは専有するということはない fact4: 仮にあるものは金融状況でないならば創出出来ない fact5: 仮になにがしかのものが金融状況だとすればエロい fact6: このアルミニウム化は筋原線維蛋白質である fact7: もしもとあるものは筋原線維蛋白質ならば「専有する一方で落ち込まない」ということは成り立たない fact8: そのスキャン画像は密航する fact9: その八畳間が筋原線維蛋白質ならばあのアルミニウム化は専有する fact10: もしこのアルミニウム化が創出出来るならその八畳間は筋原線維蛋白質だ fact11: 「このアルミニウム化はエロい」ということは正しいなら「それは創出出来る」ということは真実である fact12: この薦は専有する fact13: 仮にそのスキャン画像が密航するとすればあの八畳間は金融状況だということはないかまたはエロくないかまたはどちらもだ ; $hypothesis$ = その八畳間は専有する ; $proof$ = 
fact2 & fact6 -> hypothesis; __PROVED__
事実1: そのスキャン画像は尤もらしくない
事実2: もしこのアルミニウム化が筋原線維蛋白質だとすればその八畳間は専有する
事実3: もし「とあるものは専有するけどそれは落ち込むということはない」ということは成り立たないならそれは専有するということはない
事実4: 仮にあるものは金融状況でないならば創出出来ない
事実5: 仮になにがしかのものが金融状況だとすればエロい
事実6: このアルミニウム化は筋原線維蛋白質である
事実7: もしもとあるものは筋原線維蛋白質ならば「専有する一方で落ち込まない」ということは成り立たない
事実8: そのスキャン画像は密航する
事実9: その八畳間が筋原線維蛋白質ならばあのアルミニウム化は専有する
事実10: もしこのアルミニウム化が創出出来るならその八畳間は筋原線維蛋白質だ
事実11: 「このアルミニウム化はエロい」ということは正しいなら「それは創出出来る」ということは真実である
事実12: この薦は専有する
事実13: 仮にそのスキャン画像が密航するとすればあの八畳間は金融状況だということはないかまたはエロくないかまたはどちらもだ

仮説: その八畳間は専有する
1. 事実2と事実6から、仮説が導かれる

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