以下のように仮定する。もにょもにょLv.80事件が生じる
fact1: もし仮に「「かわゆいということは生じないし加えてまえまゆLv.52事件は起きない」ということは偽だ」ということは正しいとするともにょもにょLv.80事件が生じる fact2: まえまゆLv.52事件は起こらない fact3: ぷわぷにょLv.75事件は生じない fact4: かわゆいということは「もにょもにょLv.80事件が発生する」ということが契機である fact5: かわゆいということはまえまゆLv.52事件は生じないということを阻む
void -> assump1: 以下のように仮定する。もにょもにょLv.80事件が生じる; fact4 & assump1 -> int1: かわゆいということが発生する; int1 & fact5 -> int2: まえまゆLv.52事件が生じる; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; fact4 & assump1 -> int1: {B}; int1 & fact5 -> int2: {C}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。もにょもにょLv.80事件が生じる
$facts$ = fact1: もし仮に「「かわゆいということは生じないし加えてまえまゆLv.52事件は起きない」ということは偽だ」ということは正しいとするともにょもにょLv.80事件が生じる fact2: まえまゆLv.52事件は起こらない fact3: ぷわぷにょLv.75事件は生じない fact4: かわゆいということは「もにょもにょLv.80事件が発生する」ということが契機である fact5: かわゆいということはまえまゆLv.52事件は生じないということを阻む ; $hypothesis$ = 以下のように仮定する。もにょもにょLv.80事件が生じる ; $proof$ = 
void -> assump1: 以下のように仮定する。もにょもにょLv.80事件が生じる; fact4 & assump1 -> int1: かわゆいということが発生する; int1 & fact5 -> int2: まえまゆLv.52事件が生じる; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}; fact4 & assump1 -> int1: {B}; int1 & fact5 -> int2: {C}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__