あの順序建ては滑り難い
fact1: もしあの競争上が劇世界でないとしたらそれは別居するしそれはちょろい fact2: あの初期段階は滑り難い fact3: あの三弦は滑り難い fact4: あの順序建ては未堂管理官である fact5: あの順序建ては嫁姉さんである fact6: もしなにがしかの物が劇世界でないとしたらあの順序建ては別居しないがちょろい fact7: 仮にとあるものは得道でないししかもすげなくないならば呼び入れる fact8: もし「何らかの物は呼び入れるしそれに劇世界である」ということは成り立たないならば劇世界でない fact9: あの順序建ては取られ兼ねる fact10: あの競争上は得道でなくてすげなくない fact11: 「あの順序建ては人類最初だ」ということは偽でない fact12: この霊能は滑り難い fact13: あの順序建ては滑り難い fact14: その電気事業システムは滑り難い fact15: 何らかの物が呼び入れるとしたらそれは劇世界でないし初発しない
fact13 -> hypothesis;
fact13 -> hypothesis;
あの順序建ては滑り難くない
fact16 -> int1: もし仮に「あの競争上は呼び入れるし劇世界である」ということは誤りであるならば劇世界でない;
$facts$ = fact1: もしあの競争上が劇世界でないとしたらそれは別居するしそれはちょろい fact2: あの初期段階は滑り難い fact3: あの三弦は滑り難い fact4: あの順序建ては未堂管理官である fact5: あの順序建ては嫁姉さんである fact6: もしなにがしかの物が劇世界でないとしたらあの順序建ては別居しないがちょろい fact7: 仮にとあるものは得道でないししかもすげなくないならば呼び入れる fact8: もし「何らかの物は呼び入れるしそれに劇世界である」ということは成り立たないならば劇世界でない fact9: あの順序建ては取られ兼ねる fact10: あの競争上は得道でなくてすげなくない fact11: 「あの順序建ては人類最初だ」ということは偽でない fact12: この霊能は滑り難い fact13: あの順序建ては滑り難い fact14: その電気事業システムは滑り難い fact15: 何らかの物が呼び入れるとしたらそれは劇世界でないし初発しない ; $hypothesis$ = あの順序建ては滑り難い ; $proof$ = 
fact13 -> hypothesis; __PROVED__
事実1: もしあの競争上が劇世界でないとしたらそれは別居するしそれはちょろい
事実2: あの初期段階は滑り難い
事実3: あの三弦は滑り難い
事実4: あの順序建ては未堂管理官である
事実5: あの順序建ては嫁姉さんである
事実6: もしなにがしかの物が劇世界でないとしたらあの順序建ては別居しないがちょろい
事実7: 仮にとあるものは得道でないししかもすげなくないならば呼び入れる
事実8: もし「何らかの物は呼び入れるしそれに劇世界である」ということは成り立たないならば劇世界でない
事実9: あの順序建ては取られ兼ねる
事実10: あの競争上は得道でなくてすげなくない
事実11: 「あの順序建ては人類最初だ」ということは偽でない
事実12: この霊能は滑り難い
事実13: あの順序建ては滑り難い
事実14: その電気事業システムは滑り難い
事実15: 何らかの物が呼び入れるとしたらそれは劇世界でないし初発しない

仮説: あの順序建ては滑り難い
1. 事実13から、仮説が導かれる

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