「笑いこけることが生じるけどもにゃもなLv.41事件は生じない」ということは誤っている
fact1: ぽにゅぽやLv.23事件はぴちょぴちゃLv.0事件により発生する fact2: もしぴちょぴちゃLv.0事件が起きないとすると笑いこけることが起きるけどもにゃもなLv.41事件は起きない fact3: 遜色無いということは起こらないということは「もくものLv.18事件は起きない」ということに引き起こされる fact4: ぽにゅぽやLv.23事件は起こらない
void -> assump1: 以下のように仮定する。ぴちょぴちゃLv.0事件が起きる; fact1 & assump1 -> int1: ぽにゅぽやLv.23事件が起きる; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: ぴちょぴちゃLv.0事件は起きない; int3 & fact2 -> hypothesis;
void -> assump1: {A}; fact1 & assump1 -> int1: {B}; int1 & fact4 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}; int3 & fact2 -> hypothesis;
「笑いこけることが生じるけどもにゃもなLv.41事件は生じない」ということは誤っている
 -> hypothesis;
$facts$ = fact1: ぽにゅぽやLv.23事件はぴちょぴちゃLv.0事件により発生する fact2: もしぴちょぴちゃLv.0事件が起きないとすると笑いこけることが起きるけどもにゃもなLv.41事件は起きない fact3: 遜色無いということは起こらないということは「もくものLv.18事件は起きない」ということに引き起こされる fact4: ぽにゅぽやLv.23事件は起こらない ; $hypothesis$ = 「笑いこけることが生じるけどもにゃもなLv.41事件は生じない」ということは誤っている ; $proof$ = 
void -> assump1: 以下のように仮定する。ぴちょぴちゃLv.0事件が起きる; fact1 & assump1 -> int1: ぽにゅぽやLv.23事件が起きる; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: ぴちょぴちゃLv.0事件は起きない; int3 & fact2 -> hypothesis; __DISPROVED__
void -> assump1: {A}; fact1 & assump1 -> int1: {B}; int1 & fact4 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}; int3 & fact2 -> hypothesis; __DISPROVED__