この各パラメータは扱き出す
fact1: あの省電力モードが閉店するしその上それは扱き出す fact2: すべてのものは扱き出すしそれに陸揚げする fact3: どれもこれもは皮膚炎だ fact4: この各パラメータは物言う fact5: この各パラメータは加入である fact6: もしその必要度が描画出来るけれど陸揚げしないとすれば「あの理論的根拠は陸揚げする」ということは成り立つ fact7: この諸傾向は入れ難いしさらにはち切れる
fact2 -> int1: この各パラメータは扱き出すしまた陸揚げする; int1 -> hypothesis;
あの理論的根拠は陸揚げする
$facts$ = fact1: あの省電力モードが閉店するしその上それは扱き出す fact2: すべてのものは扱き出すしそれに陸揚げする fact3: どれもこれもは皮膚炎だ fact4: この各パラメータは物言う fact5: この各パラメータは加入である fact6: もしその必要度が描画出来るけれど陸揚げしないとすれば「あの理論的根拠は陸揚げする」ということは成り立つ fact7: この諸傾向は入れ難いしさらにはち切れる ; $hypothesis$ = この各パラメータは扱き出す ; $proof$ = 
fact2 -> int1: この各パラメータは扱き出すしまた陸揚げする; int1 -> hypothesis; __PROVED__
事実1: あの省電力モードが閉店するしその上それは扱き出す
事実2: すべてのものは扱き出すしそれに陸揚げする
事実3: どれもこれもは皮膚炎だ
事実4: この各パラメータは物言う
事実5: この各パラメータは加入である
事実6: もしその必要度が描画出来るけれど陸揚げしないとすれば「あの理論的根拠は陸揚げする」ということは成り立つ
事実7: この諸傾向は入れ難いしさらにはち切れる

仮説: この各パラメータは扱き出す
1. 事実2から、推論1: "この各パラメータは扱き出すしまた陸揚げする"が導かれる
2. 推論1から、仮説が導かれる

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