その同国人は自動車業界であるということはなくて遅いということはない
fact1: 「その伐出は独り歩きする」ということは確かだ fact2: もし仮に何かは独り歩きするとすれば「それは自動車業界でなくて加えて遅くない」ということは事実と異なる fact3: 仮にその同国人が遅いとすればその石室内が奪い取るということはないしさらにそれは遅いということはない fact4: 「その石室内は独り歩きする」ということは確かだ fact5: もしその魔道師が遅いならばあの同国人は自動車業界でないしその上遅くない fact6: なにがしかの物が独り歩きすればそれは遅い fact7: もしもその魔道師が自動車業界でないならばあの石室内は奪い取るかそれは和訳するか両方ともである fact8: もしもその石室内が奪い取るとしたらその魔道師は遅い fact9: もしその石室内が独り歩きすれば奪い取る
fact9 & fact4 -> int1: その石室内は奪い取る; int1 & fact8 -> int2: その魔道師は遅い; int2 & fact5 -> hypothesis;
fact9 & fact4 -> int1: {B}{a}; int1 & fact8 -> int2: {C}{b}; int2 & fact5 -> hypothesis;
「その同国人は自動車業界でなくて更に遅くない」ということは偽である
fact10 -> int3: もし「その同国人は独り歩きする」ということは間違っていないなら「自動車業界でなくてその上遅くない」ということは成り立たない;
$facts$ = fact1: 「その伐出は独り歩きする」ということは確かだ fact2: もし仮に何かは独り歩きするとすれば「それは自動車業界でなくて加えて遅くない」ということは事実と異なる fact3: 仮にその同国人が遅いとすればその石室内が奪い取るということはないしさらにそれは遅いということはない fact4: 「その石室内は独り歩きする」ということは確かだ fact5: もしその魔道師が遅いならばあの同国人は自動車業界でないしその上遅くない fact6: なにがしかの物が独り歩きすればそれは遅い fact7: もしもその魔道師が自動車業界でないならばあの石室内は奪い取るかそれは和訳するか両方ともである fact8: もしもその石室内が奪い取るとしたらその魔道師は遅い fact9: もしその石室内が独り歩きすれば奪い取る ; $hypothesis$ = その同国人は自動車業界であるということはなくて遅いということはない ; $proof$ = 
fact9 & fact4 -> int1: その石室内は奪い取る; int1 & fact8 -> int2: その魔道師は遅い; int2 & fact5 -> hypothesis; __PROVED__
事実1: 「その伐出は独り歩きする」ということは確かだ
事実2: もし仮に何かは独り歩きするとすれば「それは自動車業界でなくて加えて遅くない」ということは事実と異なる
事実3: 仮にその同国人が遅いとすればその石室内が奪い取るということはないしさらにそれは遅いということはない
事実4: 「その石室内は独り歩きする」ということは確かだ
事実5: もしその魔道師が遅いならばあの同国人は自動車業界でないしその上遅くない
事実6: なにがしかの物が独り歩きすればそれは遅い
事実7: もしもその魔道師が自動車業界でないならばあの石室内は奪い取るかそれは和訳するか両方ともである
事実8: もしもその石室内が奪い取るとしたらその魔道師は遅い
事実9: もしその石室内が独り歩きすれば奪い取る

仮説: その同国人は自動車業界であるということはなくて遅いということはない
1. 事実9と事実4から、推論1: "その石室内は奪い取る"が導かれる
2. 推論1と事実8から、推論2: "その魔道師は遅い"が導かれる
3. 推論2と事実5から、仮説が導かれる

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