以下のように仮定する。ぷちゃぷのLv.11事件が生じる
fact1: もしも弛むことが起こらないとするとぷちゃぷのLv.11事件が起きるけれどもゆもなLv.49事件は起きない fact2: 「みにゅみくLv.10事件が起こるか弛むことが発生する」ということはか細いということは生じないということが原因だ fact3: 弛むことが起きる fact4: もしぷちゃぷのLv.11事件が発生するし弛むことが起きるとしたらみにゅみくLv.10事件は起こらない fact5: みにゅみくLv.10事件が生じる
void -> assump1: 以下のように仮定する。ぷちゃぷのLv.11事件が生じる; assump1 & fact3 -> int1: 「ぷちゃぷのLv.11事件が生じるしその上弛むことが起きる」ということは成り立つ; int1 & fact4 -> int2: みにゅみくLv.10事件は起こらない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; assump1 & fact3 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis;
もゆもなLv.49事件は起きない
$facts$ = fact1: もしも弛むことが起こらないとするとぷちゃぷのLv.11事件が起きるけれどもゆもなLv.49事件は起きない fact2: 「みにゅみくLv.10事件が起こるか弛むことが発生する」ということはか細いということは生じないということが原因だ fact3: 弛むことが起きる fact4: もしぷちゃぷのLv.11事件が発生するし弛むことが起きるとしたらみにゅみくLv.10事件は起こらない fact5: みにゅみくLv.10事件が生じる ; $hypothesis$ = 以下のように仮定する。ぷちゃぷのLv.11事件が生じる ; $proof$ = 
void -> assump1: 以下のように仮定する。ぷちゃぷのLv.11事件が生じる; assump1 & fact3 -> int1: 「ぷちゃぷのLv.11事件が生じるしその上弛むことが起きる」ということは成り立つ; int1 & fact4 -> int2: みにゅみくLv.10事件は起こらない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}; assump1 & fact3 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__