長いということは起こらない
fact1: 仮に「ぽちゅぽちゅLv.77事件は発生するけれどぽよぽねLv.23事件は起きない」ということは事実でないとしたら長いということが生じる fact2: もし仮にみやみのLv.83事件が生じるとすれば「ぽちゅぽちゅLv.77事件が起こるけれどぽよぽねLv.23事件は起こらない」ということは成り立たない fact3: みやみのLv.83事件と弱しということが起きるは敢え無いということは生じないということに誘発される fact4: 敢え無いということは生じない
fact4 & fact3 -> int1: みやみのLv.83事件と弱しということ両方が起こる; int1 -> int2: みやみのLv.83事件が発生する; int2 & fact2 -> int3: 「ぽちゅぽちゅLv.77事件は発生するしぽよぽねLv.23事件は起きない」ということは間違っている; int3 & fact1 -> hypothesis;
fact4 & fact3 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 & fact2 -> int3: ¬({D} & ¬{C}); int3 & fact1 -> hypothesis;
$facts$ = fact1: 仮に「ぽちゅぽちゅLv.77事件は発生するけれどぽよぽねLv.23事件は起きない」ということは事実でないとしたら長いということが生じる fact2: もし仮にみやみのLv.83事件が生じるとすれば「ぽちゅぽちゅLv.77事件が起こるけれどぽよぽねLv.23事件は起こらない」ということは成り立たない fact3: みやみのLv.83事件と弱しということが起きるは敢え無いということは生じないということに誘発される fact4: 敢え無いということは生じない ; $hypothesis$ = 長いということは起こらない ; $proof$ = 
fact4 & fact3 -> int1: みやみのLv.83事件と弱しということ両方が起こる; int1 -> int2: みやみのLv.83事件が発生する; int2 & fact2 -> int3: 「ぽちゅぽちゅLv.77事件は発生するしぽよぽねLv.23事件は起きない」ということは間違っている; int3 & fact1 -> hypothesis; __DISPROVED__
fact4 & fact3 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 & fact2 -> int3: ¬({D} & ¬{C}); int3 & fact1 -> hypothesis; __DISPROVED__