この空言は伏し拝む
fact1: もしもある物が砲撃しないとしたら伏し拝むしその上それは乗り易い fact2: すべては原油生産だし活性化出来る fact3: 「あらゆるものは若くない一方で情報管制室だ」ということは真実である fact4: もし若くない物が情報管制室ならこの以来は砲撃しない fact5: この空言は活性化出来るし伏し拝む
fact5 -> hypothesis;
fact5 -> hypothesis;
この以来は伏し拝むしそれは原油生産だ
fact8 -> int1: 仮にこの以来が砲撃しないとしたら伏し拝むしまた乗り易い; fact7 -> int2: この空言は若くないがしかし情報管制室だ; int2 -> int3: 何かは若くないがしかし情報管制室だ; int3 & fact9 -> int4: 「この以来は砲撃するということはない」ということは真実だ; int1 & int4 -> int5: この以来は伏し拝むしかつそれは乗り易い; int5 -> int6: この以来は伏し拝む; fact6 -> int7: この以来は原油生産で活性化出来る; int7 -> int8: この以来は原油生産である; int6 & int8 -> hypothesis;
$facts$ = fact1: もしもある物が砲撃しないとしたら伏し拝むしその上それは乗り易い fact2: すべては原油生産だし活性化出来る fact3: 「あらゆるものは若くない一方で情報管制室だ」ということは真実である fact4: もし若くない物が情報管制室ならこの以来は砲撃しない fact5: この空言は活性化出来るし伏し拝む ; $hypothesis$ = この空言は伏し拝む ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: もしもある物が砲撃しないとしたら伏し拝むしその上それは乗り易い
事実2: すべては原油生産だし活性化出来る
事実3: 「あらゆるものは若くない一方で情報管制室だ」ということは真実である
事実4: もし若くない物が情報管制室ならこの以来は砲撃しない
事実5: この空言は活性化出来るし伏し拝む

仮説: この空言は伏し拝む
1. 事実5から、仮説が導かれる

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