以下のように仮定する。みにょみちゅLv.17事件が起こる
fact1: まえまちゃLv.65事件が発生する fact2: もしもみえみのLv.39事件は発生しないとすれば「ぽちょぽねLv.50事件かまえまちゃLv.65事件が生じる」ということは真実である fact3: ぽちょぽねLv.50事件が生じる fact4: 仮にみにょみちゅLv.17事件が発生するしまえまちゃLv.65事件が発生すればぽちょぽねLv.50事件は起きない fact5: まちゃまにゅLv.43事件は発生しない fact6: 「まえまちゃLv.65事件は生じない」ということはぷちょぷねLv.8事件とみにょみちゅLv.17事件が生じるに帰結する
void -> assump1: 以下のように仮定する。みにょみちゅLv.17事件が起こる; assump1 & fact1 -> int1: みにょみちゅLv.17事件が起こるし加えてまえまちゃLv.65事件が発生する; int1 & fact4 -> int2: ぽちょぽねLv.50事件は起こらない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; assump1 & fact1 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis;
ぷちょぷねLv.8事件が起きる
$facts$ = fact1: まえまちゃLv.65事件が発生する fact2: もしもみえみのLv.39事件は発生しないとすれば「ぽちょぽねLv.50事件かまえまちゃLv.65事件が生じる」ということは真実である fact3: ぽちょぽねLv.50事件が生じる fact4: 仮にみにょみちゅLv.17事件が発生するしまえまちゃLv.65事件が発生すればぽちょぽねLv.50事件は起きない fact5: まちゃまにゅLv.43事件は発生しない fact6: 「まえまちゃLv.65事件は生じない」ということはぷちょぷねLv.8事件とみにょみちゅLv.17事件が生じるに帰結する ; $hypothesis$ = 以下のように仮定する。みにょみちゅLv.17事件が起こる ; $proof$ = 
void -> assump1: 以下のように仮定する。みにょみちゅLv.17事件が起こる; assump1 & fact1 -> int1: みにょみちゅLv.17事件が起こるし加えてまえまちゃLv.65事件が発生する; int1 & fact4 -> int2: ぽちょぽねLv.50事件は起こらない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}; assump1 & fact1 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__