際どいということは起きない
fact1: 麗しということが生じる fact2: ぽちゃぽちゅLv.47事件が発生するし更にぽにぽのLv.47事件が生じる fact3: もし仮にぽにぽのLv.47事件は起きないとすれば際どいということとぽちゃぽちゅLv.47事件が起こる fact4: 際どいということが起きるということは「ぽちゃぽちゅLv.47事件および麗しということが起きるは成り立つ」ということに阻まれる
fact2 -> int1: 「ぽちゃぽちゅLv.47事件が発生する」ということは本当だ; int1 & fact1 -> int2: ぽちゃぽちゅLv.47事件が発生するししかも麗しということが起こる; int2 & fact4 -> hypothesis;
fact2 -> int1: {A}; int1 & fact1 -> int2: ({A} & {C}); int2 & fact4 -> hypothesis;
際どいということが起こる
$facts$ = fact1: 麗しということが生じる fact2: ぽちゃぽちゅLv.47事件が発生するし更にぽにぽのLv.47事件が生じる fact3: もし仮にぽにぽのLv.47事件は起きないとすれば際どいということとぽちゃぽちゅLv.47事件が起こる fact4: 際どいということが起きるということは「ぽちゃぽちゅLv.47事件および麗しということが起きるは成り立つ」ということに阻まれる ; $hypothesis$ = 際どいということは起きない ; $proof$ = 
fact2 -> int1: 「ぽちゃぽちゅLv.47事件が発生する」ということは本当だ; int1 & fact1 -> int2: ぽちゃぽちゅLv.47事件が発生するししかも麗しということが起こる; int2 & fact4 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 & fact1 -> int2: ({A} & {C}); int2 & fact4 -> hypothesis; __PROVED__