その感染力は発生し易い
fact1: もしもその方法上が社内利用目的であるとすればその支配権力はクリアリーカナディアンだ fact2: 仮にあるものが社内利用目的でなくてその上標準化するということはないならばそれは発生し易くない fact3: その支配権力は発生し易い fact4: 「その感染力はクリアリーカナディアンである」ということは事実だ fact5: その感染力は標準化すれば「その方法上は発生し易い」ということは正しい fact6: 仮にその方法上がクリアリーカナディアンでないならばあの感染力は社内利用目的でないしかつ標準化するということはない fact7: もしも「その意識高揚は社内利用目的であるかまたはそれはクリアリーカナディアンでないかあるいは両方ともである」ということは偽であるとしたら「標準化する」ということは間違いでない fact8: その方法上は社内利用目的だし加えてそれは標準化する fact9: その支配権力がクリアリーカナディアンならばその感染力は発生し易い
fact8 -> int1: その方法上は社内利用目的である; int1 & fact1 -> int2: その支配権力はクリアリーカナディアンである; int2 & fact9 -> hypothesis;
fact8 -> int1: {A}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact9 -> hypothesis;
その感染力は発生し易いということはない
fact10 -> int3: もし仮にその感染力が社内利用目的でないしそれが標準化しないとするとそれは発生し易くない;
$facts$ = fact1: もしもその方法上が社内利用目的であるとすればその支配権力はクリアリーカナディアンだ fact2: 仮にあるものが社内利用目的でなくてその上標準化するということはないならばそれは発生し易くない fact3: その支配権力は発生し易い fact4: 「その感染力はクリアリーカナディアンである」ということは事実だ fact5: その感染力は標準化すれば「その方法上は発生し易い」ということは正しい fact6: 仮にその方法上がクリアリーカナディアンでないならばあの感染力は社内利用目的でないしかつ標準化するということはない fact7: もしも「その意識高揚は社内利用目的であるかまたはそれはクリアリーカナディアンでないかあるいは両方ともである」ということは偽であるとしたら「標準化する」ということは間違いでない fact8: その方法上は社内利用目的だし加えてそれは標準化する fact9: その支配権力がクリアリーカナディアンならばその感染力は発生し易い ; $hypothesis$ = その感染力は発生し易い ; $proof$ = 
fact8 -> int1: その方法上は社内利用目的である; int1 & fact1 -> int2: その支配権力はクリアリーカナディアンである; int2 & fact9 -> hypothesis; __PROVED__
事実1: もしもその方法上が社内利用目的であるとすればその支配権力はクリアリーカナディアンだ
事実2: 仮にあるものが社内利用目的でなくてその上標準化するということはないならばそれは発生し易くない
事実3: その支配権力は発生し易い
事実4: 「その感染力はクリアリーカナディアンである」ということは事実だ
事実5: その感染力は標準化すれば「その方法上は発生し易い」ということは正しい
事実6: 仮にその方法上がクリアリーカナディアンでないならばあの感染力は社内利用目的でないしかつ標準化するということはない
事実7: もしも「その意識高揚は社内利用目的であるかまたはそれはクリアリーカナディアンでないかあるいは両方ともである」ということは偽であるとしたら「標準化する」ということは間違いでない
事実8: その方法上は社内利用目的だし加えてそれは標準化する
事実9: その支配権力がクリアリーカナディアンならばその感染力は発生し易い

仮説: その感染力は発生し易い
1. 事実8から、推論1: "その方法上は社内利用目的である"が導かれる
2. 推論1と事実1から、推論2: "その支配権力はクリアリーカナディアンである"が導かれる
3. 推論2と事実9から、仮説が導かれる

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