ぴにょぴいLv.71事件は生じないということはみにゃみにゃLv.33事件に阻まれる
fact1: 「みにゃみにゃLv.33事件およびまにょまちゃLv.85事件どちらもが起きる」ということは「ぴいぴちゅLv.96事件は発生しない」ということにより生じる fact2: ぴいぴちゅLv.96事件はぴにょぴいLv.71事件のきっかけとなる fact3: 仮にみにゃみにゃLv.33事件が起こるとするとぴいぴちゅLv.96事件が生じる fact4: 透けることが発生する fact5: 当たり難いということが生じる
void -> assump1: 以下のように仮定する。みにゃみにゃLv.33事件が起きる; fact3 & assump1 -> int1: ぴいぴちゅLv.96事件が発生する; int1 & fact2 -> int2: ぴにょぴいLv.71事件が起きる; [assump1] & int2 -> hypothesis;
void -> assump1: {A}; fact3 & assump1 -> int1: {B}; int1 & fact2 -> int2: {C}; [assump1] & int2 -> hypothesis;
まにょまちゃLv.85事件が起こる
$facts$ = fact1: 「みにゃみにゃLv.33事件およびまにょまちゃLv.85事件どちらもが起きる」ということは「ぴいぴちゅLv.96事件は発生しない」ということにより生じる fact2: ぴいぴちゅLv.96事件はぴにょぴいLv.71事件のきっかけとなる fact3: 仮にみにゃみにゃLv.33事件が起こるとするとぴいぴちゅLv.96事件が生じる fact4: 透けることが発生する fact5: 当たり難いということが生じる ; $hypothesis$ = ぴにょぴいLv.71事件は生じないということはみにゃみにゃLv.33事件に阻まれる ; $proof$ = 
void -> assump1: 以下のように仮定する。みにゃみにゃLv.33事件が起きる; fact3 & assump1 -> int1: ぴいぴちゅLv.96事件が発生する; int1 & fact2 -> int2: ぴにょぴいLv.71事件が起きる; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}; fact3 & assump1 -> int1: {B}; int1 & fact2 -> int2: {C}; [assump1] & int2 -> hypothesis; __PROVED__