もえもいLv.18事件は起こらない
fact1: みゆみゆLv.45事件が発生する fact2: もしもえもいLv.18事件かあるいは反応し易いということが起きるとすると儚しということは発生しない fact3: みいみわLv.60事件は起きない fact4: 貴方らしいということは生じない fact5: 「儚しということが起こる」ということは真実だ fact6: 敵中深いということは起こらない fact7: ぷちゅぷよLv.3事件が発生するかまたはみにゅみなLv.19事件が起こるかあるいはどちらもだ
void -> assump1: 以下のように仮定する。もえもいLv.18事件が起きる; assump1 -> int1: もえもいLv.18事件が発生するかあるいは反応し易いということは発生するかもしくはどちらもだ; int1 & fact2 -> int2: 儚しということは起きない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; assump1 -> int1: ({A} v {B}); int1 & fact2 -> int2: ¬{C}; int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: みゆみゆLv.45事件が発生する fact2: もしもえもいLv.18事件かあるいは反応し易いということが起きるとすると儚しということは発生しない fact3: みいみわLv.60事件は起きない fact4: 貴方らしいということは生じない fact5: 「儚しということが起こる」ということは真実だ fact6: 敵中深いということは起こらない fact7: ぷちゅぷよLv.3事件が発生するかまたはみにゅみなLv.19事件が起こるかあるいはどちらもだ ; $hypothesis$ = もえもいLv.18事件は起こらない ; $proof$ = 
void -> assump1: 以下のように仮定する。もえもいLv.18事件が起きる; assump1 -> int1: もえもいLv.18事件が発生するかあるいは反応し易いということは発生するかもしくはどちらもだ; int1 & fact2 -> int2: 儚しということは起きない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}; assump1 -> int1: ({A} v {B}); int1 & fact2 -> int2: ¬{C}; int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__