まやまにゅLv.99事件は生じない
fact1: 暮らし易いということが起こる fact2: 作り難いということが生じる fact3: みちょみえLv.10事件が発生する fact4: もしもまやまにゅLv.99事件とみちょみえLv.10事件両方が起こるとしたら作り難いということは起きない fact5: 「外し易いということは発生しない」ということは確かだとしたら作り難いということは発生するかもしくはみちょみえLv.10事件は発生するかあるいはどちらもである fact6: もし暮らし易いということが生じる一方で夫婦らしいということは起きないなら外し易いということは生じない
void -> assump1: 以下のように仮定する。まやまにゅLv.99事件が発生する; assump1 & fact3 -> int1: まやまにゅLv.99事件が起こるしみちょみえLv.10事件が生じる; int1 & fact4 -> int2: 作り難いということは発生しない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; assump1 & fact3 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。まやまにゅLv.99事件が発生する
$facts$ = fact1: 暮らし易いということが起こる fact2: 作り難いということが生じる fact3: みちょみえLv.10事件が発生する fact4: もしもまやまにゅLv.99事件とみちょみえLv.10事件両方が起こるとしたら作り難いということは起きない fact5: 「外し易いということは発生しない」ということは確かだとしたら作り難いということは発生するかもしくはみちょみえLv.10事件は発生するかあるいはどちらもである fact6: もし暮らし易いということが生じる一方で夫婦らしいということは起きないなら外し易いということは生じない ; $hypothesis$ = まやまにゅLv.99事件は生じない ; $proof$ = 
void -> assump1: 以下のように仮定する。まやまにゅLv.99事件が発生する; assump1 & fact3 -> int1: まやまにゅLv.99事件が起こるしみちょみえLv.10事件が生じる; int1 & fact4 -> int2: 作り難いということは発生しない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}; assump1 & fact3 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__