あのスペシャルステージ・ルートは食い止めない
fact1: もしとある物が宣教するとすれば食い止める fact2: あのスペシャルステージ・ルートはへたり込む fact3: 形成し易くないものは繰り返し見るししかも宣教する fact4: もしも「なにがしかのものは食い止めるし形成し易い」ということは本当でないとするとそれは食い止めない fact5: もしあの秘密組織がへたり込むとしたらあのスペシャルステージ・ルートは宣教する fact6: あの秘密組織はへたり込む
fact5 & fact6 -> int1: あのスペシャルステージ・ルートは宣教する; fact1 -> int2: もしあのスペシャルステージ・ルートが宣教するとするとそれは食い止める; int1 & int2 -> hypothesis;
fact5 & fact6 -> int1: {B}{b}; fact1 -> int2: {B}{b} -> {C}{b}; int1 & int2 -> hypothesis;
あのスペシャルステージ・ルートは食い止めない
fact7 -> int3: もし仮にその遺児は形成し易くないならばそれは繰り返し見るし宣教する;
$facts$ = fact1: もしとある物が宣教するとすれば食い止める fact2: あのスペシャルステージ・ルートはへたり込む fact3: 形成し易くないものは繰り返し見るししかも宣教する fact4: もしも「なにがしかのものは食い止めるし形成し易い」ということは本当でないとするとそれは食い止めない fact5: もしあの秘密組織がへたり込むとしたらあのスペシャルステージ・ルートは宣教する fact6: あの秘密組織はへたり込む ; $hypothesis$ = あのスペシャルステージ・ルートは食い止めない ; $proof$ = 
fact5 & fact6 -> int1: あのスペシャルステージ・ルートは宣教する; fact1 -> int2: もしあのスペシャルステージ・ルートが宣教するとするとそれは食い止める; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしとある物が宣教するとすれば食い止める
事実2: あのスペシャルステージ・ルートはへたり込む
事実3: 形成し易くないものは繰り返し見るししかも宣教する
事実4: もしも「なにがしかのものは食い止めるし形成し易い」ということは本当でないとするとそれは食い止めない
事実5: もしあの秘密組織がへたり込むとしたらあのスペシャルステージ・ルートは宣教する
事実6: あの秘密組織はへたり込む

仮説: あのスペシャルステージ・ルートは食い止めない
1. 事実5と事実6から、推論1: "あのスペシャルステージ・ルートは宣教する"が導かれる
2. 事実1から、推論2: "もしあのスペシャルステージ・ルートが宣教するとするとそれは食い止める"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。