「そのスクロールペインは後ずさらないかもしくは購入手数料であるか両方ともだ」ということは成り立たない
fact1: そのナイトシールドは岡山地方労働者組合であるかもしくは抜刀するかあるいはどちらもである fact2: アシケナージ系は後ずさらないか購入手数料であるか両方ともだ fact3: 仮にそのナイトシールドが抜刀するとするとそのスクロールペインはアシケナージ系だ fact4: 「仮にそのナイトシールドが岡山地方労働者組合であるとするとそのスクロールペインはアシケナージ系である」ということは誤っていない fact5: もし仮にある物はアシケナージ系でないとしたら「それは後ずさらないかまたはそれは購入手数料であるかあるいはどちらもだ」ということは嘘である
fact2 -> int1: もしもそのスクロールペインはアシケナージ系であるなら後ずさるということはないか購入手数料であるかあるいは両方ともである; fact1 & fact3 & fact4 -> int2: そのスクロールペインはアシケナージ系である; int1 & int2 -> hypothesis;
「「「そのスクロールペインは後ずさらないかまたは購入手数料であるかもしくはどちらもである」ということは成り立つ」ということは間違いだ」ということは確かである
fact6 -> int3: 仮に「そのスクロールペインはアシケナージ系でない」ということは成り立てば「後ずさらないか購入手数料であるかあるいは両方だ」ということは間違っている;
$facts$ = fact1: そのナイトシールドは岡山地方労働者組合であるかもしくは抜刀するかあるいはどちらもである fact2: アシケナージ系は後ずさらないか購入手数料であるか両方ともだ fact3: 仮にそのナイトシールドが抜刀するとするとそのスクロールペインはアシケナージ系だ fact4: 「仮にそのナイトシールドが岡山地方労働者組合であるとするとそのスクロールペインはアシケナージ系である」ということは誤っていない fact5: もし仮にある物はアシケナージ系でないとしたら「それは後ずさらないかまたはそれは購入手数料であるかあるいはどちらもだ」ということは嘘である ; $hypothesis$ = 「そのスクロールペインは後ずさらないかもしくは購入手数料であるか両方ともだ」ということは成り立たない ; $proof$ = 
fact2 -> int1: もしもそのスクロールペインはアシケナージ系であるなら後ずさるということはないか購入手数料であるかあるいは両方ともである; fact1 & fact3 & fact4 -> int2: そのスクロールペインはアシケナージ系である; int1 & int2 -> hypothesis; __DISPROVED__
事実1: そのナイトシールドは岡山地方労働者組合であるかもしくは抜刀するかあるいはどちらもである
事実2: アシケナージ系は後ずさらないか購入手数料であるか両方ともだ
事実3: 仮にそのナイトシールドが抜刀するとするとそのスクロールペインはアシケナージ系だ
事実4: 「仮にそのナイトシールドが岡山地方労働者組合であるとするとそのスクロールペインはアシケナージ系である」ということは誤っていない
事実5: もし仮にある物はアシケナージ系でないとしたら「それは後ずさらないかまたはそれは購入手数料であるかあるいはどちらもだ」ということは嘘である

仮説: 「そのスクロールペインは後ずさらないかもしくは購入手数料であるか両方ともだ」ということは成り立たない
1. 事実2から、推論1: "もしもそのスクロールペインはアシケナージ系であるなら後ずさるということはないか購入手数料であるかあるいは両方ともである"が導かれる
2. 事実1と事実3と事実4から、推論2: "そのスクロールペインはアシケナージ系である"が導かれる
3. 推論1と推論2から、仮説が否定される

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