「まわまにLv.14事件とぴにゃぴにゅLv.24事件両方が起こる」ということは確かである
fact1: まわまにLv.14事件が発生するということはぽやぽよLv.4事件は契機だ fact2: ぴよぴちゃLv.53事件が起こる fact3: ぽやぽよLv.4事件と扱い難いということどちらもが発生する fact4: ぴにゃぴにゅLv.24事件が起きる
fact3 -> int1: ぽやぽよLv.4事件が発生する; int1 & fact1 -> int2: まわまにLv.14事件が発生する; int2 & fact4 -> hypothesis;
fact3 -> int1: {A}; int1 & fact1 -> int2: {C}; int2 & fact4 -> hypothesis;
$facts$ = fact1: まわまにLv.14事件が発生するということはぽやぽよLv.4事件は契機だ fact2: ぴよぴちゃLv.53事件が起こる fact3: ぽやぽよLv.4事件と扱い難いということどちらもが発生する fact4: ぴにゃぴにゅLv.24事件が起きる ; $hypothesis$ = 「まわまにLv.14事件とぴにゃぴにゅLv.24事件両方が起こる」ということは確かである ; $proof$ = 
fact3 -> int1: ぽやぽよLv.4事件が発生する; int1 & fact1 -> int2: まわまにLv.14事件が発生する; int2 & fact4 -> hypothesis; __PROVED__
fact3 -> int1: {A}; int1 & fact1 -> int2: {C}; int2 & fact4 -> hypothesis; __PROVED__