もゆもくLv.31事件は起きない
fact1: 其れらしいということが起こる fact2: まえまえLv.45事件が発生する fact3: もし仮にぽゆぽちょLv.83事件が起こるとすれば「置き易いということが起きるけどみちょみよLv.44事件は生じない」ということは成り立たない fact4: 置き易いということは起きないということはみちょみよLv.44事件に防がれる fact5: もゆもくLv.31事件がみちょみよLv.44事件は起きないということを阻む fact6: 「ぽゆぽちょLv.83事件は発生しない」ということは由々しいということに阻止される fact7: 置き易いということは発生しない
void -> assump1: 以下のように仮定する。「もゆもくLv.31事件が生じる」ということは成り立つ; fact5 & assump1 -> int1: みちょみよLv.44事件が起きる; int1 & fact4 -> int2: 置き易いということが生じる; int2 & fact7 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; fact5 & assump1 -> int1: {B}; int1 & fact4 -> int2: {C}; int2 & fact7 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。「もゆもくLv.31事件が生じる」ということは成り立つ
$facts$ = fact1: 其れらしいということが起こる fact2: まえまえLv.45事件が発生する fact3: もし仮にぽゆぽちょLv.83事件が起こるとすれば「置き易いということが起きるけどみちょみよLv.44事件は生じない」ということは成り立たない fact4: 置き易いということは起きないということはみちょみよLv.44事件に防がれる fact5: もゆもくLv.31事件がみちょみよLv.44事件は起きないということを阻む fact6: 「ぽゆぽちょLv.83事件は発生しない」ということは由々しいということに阻止される fact7: 置き易いということは発生しない ; $hypothesis$ = もゆもくLv.31事件は起きない ; $proof$ = 
void -> assump1: 以下のように仮定する。「もゆもくLv.31事件が生じる」ということは成り立つ; fact5 & assump1 -> int1: みちょみよLv.44事件が起きる; int1 & fact4 -> int2: 置き易いということが生じる; int2 & fact7 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}; fact5 & assump1 -> int1: {B}; int1 & fact4 -> int2: {C}; int2 & fact7 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__