惨たらしいということは起こらない
fact1: 「過不足無いということが発生する」ということは間違いでない fact2: しても良いということが起きるし新しいということが起こる fact3: 惨たらしいということは発生しないということは「まなまよLv.43事件が起こるし更に過不足無いということが生じる」ということに起因する fact4: 古いということが起こるしそれにまなまよLv.43事件が生じる
fact4 -> int1: まなまよLv.43事件が起こる; int1 & fact1 -> int2: まなまよLv.43事件と過不足無いということどちらもが起きる; int2 & fact3 -> hypothesis;
fact4 -> int1: {B}; int1 & fact1 -> int2: ({B} & {C}); int2 & fact3 -> hypothesis;
$facts$ = fact1: 「過不足無いということが発生する」ということは間違いでない fact2: しても良いということが起きるし新しいということが起こる fact3: 惨たらしいということは発生しないということは「まなまよLv.43事件が起こるし更に過不足無いということが生じる」ということに起因する fact4: 古いということが起こるしそれにまなまよLv.43事件が生じる ; $hypothesis$ = 惨たらしいということは起こらない ; $proof$ = 
fact4 -> int1: まなまよLv.43事件が起こる; int1 & fact1 -> int2: まなまよLv.43事件と過不足無いということどちらもが起きる; int2 & fact3 -> hypothesis; __PROVED__
fact4 -> int1: {B}; int1 & fact1 -> int2: ({B} & {C}); int2 & fact3 -> hypothesis; __PROVED__