仕方無しということは起きない
fact1: みちゃみいLv.66事件が発生する fact2: 仮に「みちゃみいLv.66事件は発生するがしかしぷわぷなLv.36事件は起こらない」ということは間違っているとするとみちゃみいLv.66事件は起きない fact3: みちゃみいLv.66事件およびまよまいLv.76事件両方ともが起こるとすれば仕方無しということは発生しない fact4: もしもみちゃみいLv.66事件は生じないならまよまいLv.76事件と疎いということが起こる fact5: 疎いということおよびまよまいLv.76事件が起こる
fact5 -> int1: まよまいLv.76事件が発生する; int1 & fact1 -> int2: みちゃみいLv.66事件およびまよまいLv.76事件両方ともが起きる; int2 & fact3 -> hypothesis;
fact5 -> int1: {B}; int1 & fact1 -> int2: ({C} & {B}); int2 & fact3 -> hypothesis;
仕方無しということが発生する
$facts$ = fact1: みちゃみいLv.66事件が発生する fact2: 仮に「みちゃみいLv.66事件は発生するがしかしぷわぷなLv.36事件は起こらない」ということは間違っているとするとみちゃみいLv.66事件は起きない fact3: みちゃみいLv.66事件およびまよまいLv.76事件両方ともが起こるとすれば仕方無しということは発生しない fact4: もしもみちゃみいLv.66事件は生じないならまよまいLv.76事件と疎いということが起こる fact5: 疎いということおよびまよまいLv.76事件が起こる ; $hypothesis$ = 仕方無しということは起きない ; $proof$ = 
fact5 -> int1: まよまいLv.76事件が発生する; int1 & fact1 -> int2: みちゃみいLv.66事件およびまよまいLv.76事件両方ともが起きる; int2 & fact3 -> hypothesis; __PROVED__
fact5 -> int1: {B}; int1 & fact1 -> int2: ({C} & {B}); int2 & fact3 -> hypothesis; __PROVED__