「ぷねぷやLv.49事件が起きない一方で見難いということは発生する」ということは「ぷねぷやLv.49事件は起こらない」ということに引き起こされる
fact1: 床しいということが生じる fact2: まにょまちゃLv.51事件ではなく楽しいということが起こる fact3: 混交することは起きないということは「混交することが起こらないけど潜在することは発生する」ということを発生させる fact4: 見難いということが起きる fact5: 「ぷねぷやLv.49事件は起こらないけれど見難いということが起こる」ということは「ぷねぷやLv.49事件が生じる」ということに起因する
void -> assump1: 以下のように仮定する。ぷねぷやLv.49事件は起きない; assump1 & fact4 -> int1: ぷねぷやLv.49事件は発生しないがしかし見難いということが生じる; [assump1] & int1 -> hypothesis;
void -> assump1: ¬{A}; assump1 & fact4 -> int1: (¬{A} & {B}); [assump1] & int1 -> hypothesis;
$facts$ = fact1: 床しいということが生じる fact2: まにょまちゃLv.51事件ではなく楽しいということが起こる fact3: 混交することは起きないということは「混交することが起こらないけど潜在することは発生する」ということを発生させる fact4: 見難いということが起きる fact5: 「ぷねぷやLv.49事件は起こらないけれど見難いということが起こる」ということは「ぷねぷやLv.49事件が生じる」ということに起因する ; $hypothesis$ = 「ぷねぷやLv.49事件が起きない一方で見難いということは発生する」ということは「ぷねぷやLv.49事件は起こらない」ということに引き起こされる ; $proof$ = 
void -> assump1: 以下のように仮定する。ぷねぷやLv.49事件は起きない; assump1 & fact4 -> int1: ぷねぷやLv.49事件は発生しないがしかし見難いということが生じる; [assump1] & int1 -> hypothesis; __PROVED__
void -> assump1: ¬{A}; assump1 & fact4 -> int1: (¬{A} & {B}); [assump1] & int1 -> hypothesis; __PROVED__