以下のように仮定する。漏れ易いということが起きる
fact1: もしみいみにLv.62事件は起きないとしたら「漏れ易いということは発生するけど経上がることは起こらない」ということは偽である fact2: 経上がることは起こらない fact3: 経上がることが漏れ易いということはきっかけだ fact4: もし「漏れ易いということが発生する一方で経上がることは生じない」ということは成り立たないならぷにゃぷにゃLv.53事件は起こらない fact5: ぷくぷなLv.20事件は発生しないということは「集め易いということが発生する」ということに阻まれる fact6: 「ぷのぷにLv.6事件は起こらない」ということは大人しということに阻止される
void -> assump1: 以下のように仮定する。漏れ易いということが起きる; fact3 & assump1 -> int1: 経上がることが起きる; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: {A}; fact3 & assump1 -> int1: {B}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> hypothesis;
ぷにゃぷにゃLv.53事件は起きない
$facts$ = fact1: もしみいみにLv.62事件は起きないとしたら「漏れ易いということは発生するけど経上がることは起こらない」ということは偽である fact2: 経上がることは起こらない fact3: 経上がることが漏れ易いということはきっかけだ fact4: もし「漏れ易いということが発生する一方で経上がることは生じない」ということは成り立たないならぷにゃぷにゃLv.53事件は起こらない fact5: ぷくぷなLv.20事件は発生しないということは「集め易いということが発生する」ということに阻まれる fact6: 「ぷのぷにLv.6事件は起こらない」ということは大人しということに阻止される ; $hypothesis$ = 以下のように仮定する。漏れ易いということが起きる ; $proof$ = 
void -> assump1: 以下のように仮定する。漏れ易いということが起きる; fact3 & assump1 -> int1: 経上がることが起きる; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: {A}; fact3 & assump1 -> int1: {B}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> hypothesis; __DISPROVED__