「ぷにょぷにLv.21事件は起こらない」ということは高しということおよびものもねLv.71事件が発生するの原因となる
fact1: 「高しということは起こらない」ということはぷにょぷにLv.21事件は生じないということに阻まれる fact2: ぷにょぷにLv.21事件は「高しということおよびものもねLv.71事件が発生する」ということを生じさせる fact3: ものもねLv.71事件が起きる fact4: ブランドらしいということが起こる
void -> assump1: 以下のように仮定する。ぷにょぷにLv.21事件は起こらない; fact1 & assump1 -> int1: 高しということが生じる; int1 & fact3 -> int2: 高しということおよびものもねLv.71事件が生じる; [assump1] & int2 -> hypothesis;
void -> assump1: ¬{A}; fact1 & assump1 -> int1: {B}; int1 & fact3 -> int2: ({B} & {C}); [assump1] & int2 -> hypothesis;
$facts$ = fact1: 「高しということは起こらない」ということはぷにょぷにLv.21事件は生じないということに阻まれる fact2: ぷにょぷにLv.21事件は「高しということおよびものもねLv.71事件が発生する」ということを生じさせる fact3: ものもねLv.71事件が起きる fact4: ブランドらしいということが起こる ; $hypothesis$ = 「ぷにょぷにLv.21事件は起こらない」ということは高しということおよびものもねLv.71事件が発生するの原因となる ; $proof$ = 
void -> assump1: 以下のように仮定する。ぷにょぷにLv.21事件は起こらない; fact1 & assump1 -> int1: 高しということが生じる; int1 & fact3 -> int2: 高しということおよびものもねLv.71事件が生じる; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: ¬{A}; fact1 & assump1 -> int1: {B}; int1 & fact3 -> int2: ({B} & {C}); [assump1] & int2 -> hypothesis; __PROVED__