もにもくLv.83事件は発生しない
fact1: 果てし無いということは「もにもくLv.83事件および脂っぽいということが起こる」ということに阻止される fact2: 果てし無いということが起こる fact3: 脂っぽいということは起こらないということは「みいみくLv.22事件およびもにもくLv.83事件どちらもが発生する」ということを発生させる fact4: 脂っぽいということが発生する
void -> assump1: 以下のように仮定する。もにもくLv.83事件が起きる; assump1 & fact4 -> int1: もにもくLv.83事件と脂っぽいということ両方ともが起こる; int1 & fact1 -> int2: 果てし無いということは発生しない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; assump1 & fact4 -> int1: ({A} & {B}); int1 & fact1 -> int2: ¬{C}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
みいみくLv.22事件が起こる
$facts$ = fact1: 果てし無いということは「もにもくLv.83事件および脂っぽいということが起こる」ということに阻止される fact2: 果てし無いということが起こる fact3: 脂っぽいということは起こらないということは「みいみくLv.22事件およびもにもくLv.83事件どちらもが発生する」ということを発生させる fact4: 脂っぽいということが発生する ; $hypothesis$ = もにもくLv.83事件は発生しない ; $proof$ = 
void -> assump1: 以下のように仮定する。もにもくLv.83事件が起きる; assump1 & fact4 -> int1: もにもくLv.83事件と脂っぽいということ両方ともが起こる; int1 & fact1 -> int2: 果てし無いということは発生しない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}; assump1 & fact4 -> int1: ({A} & {B}); int1 & fact1 -> int2: ¬{C}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__