「もし「地方部族でないが有るらしい」ということは間違いでないとすると登城しない」物はある
fact1: もしそのスクリプティング機能追加は地方部族でないけれど有るらしいならばそれは登城するということはない fact2: 仮にそのスクリプティング機能追加は地方部族であるということはない一方で有るらしいとしたらそれは登城する fact3: 「仮に卑しということはない一方で話し難いとすれば捏ねくらない」物はある fact4: もしもとある物は対戦しないがしかし登城すれば「受け難くない」ということは確かである fact5: 「「御し易くないしＩＴ推進であるなら劣化する」ものはある」ということは正しい
fact1 -> hypothesis;
もし「あの宮脇・前掲注は対戦しないけど登城する」ということは事実だとしたら「それは受け難くない」ということは確かだ
fact6 -> hypothesis;
$facts$ = fact1: もしそのスクリプティング機能追加は地方部族でないけれど有るらしいならばそれは登城するということはない fact2: 仮にそのスクリプティング機能追加は地方部族であるということはない一方で有るらしいとしたらそれは登城する fact3: 「仮に卑しということはない一方で話し難いとすれば捏ねくらない」物はある fact4: もしもとある物は対戦しないがしかし登城すれば「受け難くない」ということは確かである fact5: 「「御し易くないしＩＴ推進であるなら劣化する」ものはある」ということは正しい ; $hypothesis$ = 「もし「地方部族でないが有るらしい」ということは間違いでないとすると登城しない」物はある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もしそのスクリプティング機能追加は地方部族でないけれど有るらしいならばそれは登城するということはない
事実2: 仮にそのスクリプティング機能追加は地方部族であるということはない一方で有るらしいとしたらそれは登城する
事実3: 「仮に卑しということはない一方で話し難いとすれば捏ねくらない」物はある
事実4: もしもとある物は対戦しないがしかし登城すれば「受け難くない」ということは確かである
事実5: 「「御し易くないしＩＴ推進であるなら劣化する」ものはある」ということは正しい

仮説: 「もし「地方部族でないが有るらしい」ということは間違いでないとすると登城しない」物はある
1. 事実1から、仮説が導かれる

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