以下のように仮定する。ものもやLv.99事件が生じる
fact1: ぴくぴちょLv.98事件が起きる fact2: まちゅまにLv.27事件が起きる fact3: 恵み深いということが発生する fact4: 「仮におっきいということは起きないならぴくぴちょLv.98事件が起こるかまたはまちゅまにLv.27事件が発生するかまたは両方ともだ」ということは確かだ fact5: 「ぴくぴちょLv.98事件が生じるしものもやLv.99事件が起きる」ということは「まちゅまにLv.27事件が起こる」ということを防ぐ
void -> assump1: 以下のように仮定する。ものもやLv.99事件が生じる; fact1 & assump1 -> int1: ぴくぴちょLv.98事件とものもやLv.99事件どちらもが起きる; int1 & fact5 -> int2: まちゅまにLv.27事件は生じない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}; fact1 & assump1 -> int1: ({A} & {B}); int1 & fact5 -> int2: ¬{C}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。ものもやLv.99事件が生じる
$facts$ = fact1: ぴくぴちょLv.98事件が起きる fact2: まちゅまにLv.27事件が起きる fact3: 恵み深いということが発生する fact4: 「仮におっきいということは起きないならぴくぴちょLv.98事件が起こるかまたはまちゅまにLv.27事件が発生するかまたは両方ともだ」ということは確かだ fact5: 「ぴくぴちょLv.98事件が生じるしものもやLv.99事件が起きる」ということは「まちゅまにLv.27事件が起こる」ということを防ぐ ; $hypothesis$ = 以下のように仮定する。ものもやLv.99事件が生じる ; $proof$ = 
void -> assump1: 以下のように仮定する。ものもやLv.99事件が生じる; fact1 & assump1 -> int1: ぴくぴちょLv.98事件とものもやLv.99事件どちらもが起きる; int1 & fact5 -> int2: まちゅまにLv.27事件は生じない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {B}; fact1 & assump1 -> int1: ({A} & {B}); int1 & fact5 -> int2: ¬{C}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__