厳しいということは起きない
fact1: 「歩き辛いということは発生しない」ということは「久しいということと余所余所しいということ両方が起こる」ということをもたらす fact2: 久しいということが起きるとしたら「もゆもねLv.8事件ではなくてまえまにゃLv.95事件が生じる」ということは嘘である fact3: 「まえまにゃLv.95事件が生じる」ということは成り立つ fact4: もゆもねLv.8事件が起きる fact5: 相応しいということが生じる fact6: 「厳しいということおよびもゆもねLv.8事件が起こる」ということはまえまにゃLv.95事件を防ぐ
void -> assump1: 以下のように仮定する。厳しいということが発生する; assump1 & fact4 -> int1: 厳しいということともゆもねLv.8事件が生じる; int1 & fact6 -> int2: まえまにゃLv.95事件は生じない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; assump1 & fact4 -> int1: ({A} & {B}); int1 & fact6 -> int2: ¬{C}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。厳しいということが発生する
$facts$ = fact1: 「歩き辛いということは発生しない」ということは「久しいということと余所余所しいということ両方が起こる」ということをもたらす fact2: 久しいということが起きるとしたら「もゆもねLv.8事件ではなくてまえまにゃLv.95事件が生じる」ということは嘘である fact3: 「まえまにゃLv.95事件が生じる」ということは成り立つ fact4: もゆもねLv.8事件が起きる fact5: 相応しいということが生じる fact6: 「厳しいということおよびもゆもねLv.8事件が起こる」ということはまえまにゃLv.95事件を防ぐ ; $hypothesis$ = 厳しいということは起きない ; $proof$ = 
void -> assump1: 以下のように仮定する。厳しいということが発生する; assump1 & fact4 -> int1: 厳しいということともゆもねLv.8事件が生じる; int1 & fact6 -> int2: まえまにゃLv.95事件は生じない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}; assump1 & fact4 -> int1: ({A} & {B}); int1 & fact6 -> int2: ¬{C}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__