みやみちゅLv.57事件は生じない
fact1: 「まいまいLv.61事件は起こらない」ということはみやみちゅLv.57事件に阻まれる fact2: 「まなまくLv.87事件ではなくぷにゅぷなLv.65事件が発生する」ということは成り立たないならば「ぷにゅぷなLv.65事件は生じない」ということは確かである fact3: 「分かち難いということおよび把握し易いということ両方ともが起こる」ということはぷにゅぷなLv.65事件は生じないということに由来する fact4: 「動き難いということが生じる」ということはまいまいLv.61事件が起きるということが原因だ fact5: 「「動き難いということは発生するけれどまいまいLv.61事件は生じない」ということは分かち難いということにより生じる」ということは正しい fact6: 「みねみくLv.45事件が起きる」ということは成り立つ fact7: 動き難いということは起きない
void -> assump1: 以下のように仮定する。みやみちゅLv.57事件が発生する; fact1 & assump1 -> int1: まいまいLv.61事件が起きる; int1 & fact4 -> int2: 動き難いということが発生する; int2 & fact7 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; fact1 & assump1 -> int1: {B}; int1 & fact4 -> int2: {C}; int2 & fact7 -> int3: #F#; [assump1] & int3 -> hypothesis;
ぴなぴいLv.4事件が生じる
$facts$ = fact1: 「まいまいLv.61事件は起こらない」ということはみやみちゅLv.57事件に阻まれる fact2: 「まなまくLv.87事件ではなくぷにゅぷなLv.65事件が発生する」ということは成り立たないならば「ぷにゅぷなLv.65事件は生じない」ということは確かである fact3: 「分かち難いということおよび把握し易いということ両方ともが起こる」ということはぷにゅぷなLv.65事件は生じないということに由来する fact4: 「動き難いということが生じる」ということはまいまいLv.61事件が起きるということが原因だ fact5: 「「動き難いということは発生するけれどまいまいLv.61事件は生じない」ということは分かち難いということにより生じる」ということは正しい fact6: 「みねみくLv.45事件が起きる」ということは成り立つ fact7: 動き難いということは起きない ; $hypothesis$ = みやみちゅLv.57事件は生じない ; $proof$ = 
void -> assump1: 以下のように仮定する。みやみちゅLv.57事件が発生する; fact1 & assump1 -> int1: まいまいLv.61事件が起きる; int1 & fact4 -> int2: 動き難いということが発生する; int2 & fact7 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}; fact1 & assump1 -> int1: {B}; int1 & fact4 -> int2: {C}; int2 & fact7 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__