あの子企業は恙無くないが起こし始める
fact1: あの子企業は恙無くないがしかし起こし始める fact2: あの子企業は恙無くない fact3: もし仮にあのエクルビスが勝機でないとするとあの子企業は蔵するしかつ撤廃だ fact4: その金属製品は生み易くない fact5: もしもその金属製品が生み易いということはないとしたらあの行政解剖はフロックであるしまた甘ったれである fact6: もし仮になにがしかの物はフロックであるとすると「回避すということはないかもしくは軽いかどちらもだ」ということは嘘だ fact7: 仮になんらかの物は蔵するなら「それは恙無くないし起こし始める」ということは間違いだ fact8: もしあの子企業が蔵するならこの側屈は恙無くない一方で乗り易い fact9: もし「なにがしかのものは回避すらないかあるいは軽いか両方だ」ということは偽だとすれば勝機だということはない fact10: 軽い物は勝機でないし更に回避すということはない fact11: もしあのエクルビスは蔵するとすれば「あの子企業は蔵する」ということは成り立つ
fact1 -> hypothesis;
fact1 -> hypothesis;
この側屈は恙無いということはないけれどそれは乗り易い
fact13 -> int1: もし仮に「あの行政解剖は回避すということはないかもしくは軽いかあるいは両方である」ということは成り立たないならそれは勝機でない; fact14 -> int2: もしあの行政解剖はフロックだとすれば「それは回避すらないか軽いかもしくは両方ともである」ということは成り立たない; fact17 & fact16 -> int3: あの行政解剖はフロックであるしそれにそれは甘ったれだ; int3 -> int4: あの行政解剖はフロックである; int2 & int4 -> int5: 「あの行政解剖は回避すらないか軽いか両方である」ということは間違っている; int1 & int5 -> int6: あの行政解剖は勝機でない; int6 -> int7: 「勝機でない」ものはある;
$facts$ = fact1: あの子企業は恙無くないがしかし起こし始める fact2: あの子企業は恙無くない fact3: もし仮にあのエクルビスが勝機でないとするとあの子企業は蔵するしかつ撤廃だ fact4: その金属製品は生み易くない fact5: もしもその金属製品が生み易いということはないとしたらあの行政解剖はフロックであるしまた甘ったれである fact6: もし仮になにがしかの物はフロックであるとすると「回避すということはないかもしくは軽いかどちらもだ」ということは嘘だ fact7: 仮になんらかの物は蔵するなら「それは恙無くないし起こし始める」ということは間違いだ fact8: もしあの子企業が蔵するならこの側屈は恙無くない一方で乗り易い fact9: もし「なにがしかのものは回避すらないかあるいは軽いか両方だ」ということは偽だとすれば勝機だということはない fact10: 軽い物は勝機でないし更に回避すということはない fact11: もしあのエクルビスは蔵するとすれば「あの子企業は蔵する」ということは成り立つ ; $hypothesis$ = あの子企業は恙無くないが起こし始める ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: あの子企業は恙無くないがしかし起こし始める
事実2: あの子企業は恙無くない
事実3: もし仮にあのエクルビスが勝機でないとするとあの子企業は蔵するしかつ撤廃だ
事実4: その金属製品は生み易くない
事実5: もしもその金属製品が生み易いということはないとしたらあの行政解剖はフロックであるしまた甘ったれである
事実6: もし仮になにがしかの物はフロックであるとすると「回避すということはないかもしくは軽いかどちらもだ」ということは嘘だ
事実7: 仮になんらかの物は蔵するなら「それは恙無くないし起こし始める」ということは間違いだ
事実8: もしあの子企業が蔵するならこの側屈は恙無くない一方で乗り易い
事実9: もし「なにがしかのものは回避すらないかあるいは軽いか両方だ」ということは偽だとすれば勝機だということはない
事実10: 軽い物は勝機でないし更に回避すということはない
事実11: もしあのエクルビスは蔵するとすれば「あの子企業は蔵する」ということは成り立つ

仮説: あの子企業は恙無くないが起こし始める
1. 事実1から、仮説が導かれる

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