戻り易いということは起きない
fact1: もし仮に「まわまなLv.81事件が生じるかまたはぽねぽにょLv.31事件は起こらない」ということは成り立たないとすると戻り易いということは起こらない fact2: ぽねぽにょLv.31事件は「まわまなLv.81事件は発生しない」ということを阻止する fact3: ぽねぽにょLv.31事件が起きる fact4: もしもまわまなLv.81事件が起こるとするともにゃもいLv.19事件が起きる fact5: もいもえLv.54事件が起きる fact6: 戻り易いということはもにゃもいLv.19事件が契機だ
fact2 & fact3 -> int1: まわまなLv.81事件が生じる; int1 & fact4 -> int2: もにゃもいLv.19事件が発生する; int2 & fact6 -> hypothesis;
fact2 & fact3 -> int1: {B}; int1 & fact4 -> int2: {C}; int2 & fact6 -> hypothesis;
戻り易いということは起きない
$facts$ = fact1: もし仮に「まわまなLv.81事件が生じるかまたはぽねぽにょLv.31事件は起こらない」ということは成り立たないとすると戻り易いということは起こらない fact2: ぽねぽにょLv.31事件は「まわまなLv.81事件は発生しない」ということを阻止する fact3: ぽねぽにょLv.31事件が起きる fact4: もしもまわまなLv.81事件が起こるとするともにゃもいLv.19事件が起きる fact5: もいもえLv.54事件が起きる fact6: 戻り易いということはもにゃもいLv.19事件が契機だ ; $hypothesis$ = 戻り易いということは起きない ; $proof$ = 
fact2 & fact3 -> int1: まわまなLv.81事件が生じる; int1 & fact4 -> int2: もにゃもいLv.19事件が発生する; int2 & fact6 -> hypothesis; __DISPROVED__
fact2 & fact3 -> int1: {B}; int1 & fact4 -> int2: {C}; int2 & fact6 -> hypothesis; __DISPROVED__