まちゃまよLv.62事件と来し易いということが起きる
fact1: 新しいということが生じる fact2: 仮に食べ易いということは生じないとしたら「まちゃまよLv.62事件および来し易いということが起こる」ということは成り立たない fact3: まちゃまよLv.62事件が生じる fact4: 出血し易いということは起きないということは食べ易いということに阻止される fact5: ぽちゅぽちゃLv.49事件は生じないならば「出血し易いということが発生するし重いということは起こらない」ということは正しくない fact6: 食べ易いということが生じる fact7: 出血し易いということは「来し易いということは生じない」ということを阻止する
fact4 & fact6 -> int1: 出血し易いということが発生する; int1 & fact7 -> int2: 来し易いということが生じる; int2 & fact3 -> hypothesis;
fact4 & fact6 -> int1: {B}; int1 & fact7 -> int2: {C}; int2 & fact3 -> hypothesis;
「まちゃまよLv.62事件および来し易いということが発生する」ということは成り立たない
$facts$ = fact1: 新しいということが生じる fact2: 仮に食べ易いということは生じないとしたら「まちゃまよLv.62事件および来し易いということが起こる」ということは成り立たない fact3: まちゃまよLv.62事件が生じる fact4: 出血し易いということは起きないということは食べ易いということに阻止される fact5: ぽちゅぽちゃLv.49事件は生じないならば「出血し易いということが発生するし重いということは起こらない」ということは正しくない fact6: 食べ易いということが生じる fact7: 出血し易いということは「来し易いということは生じない」ということを阻止する ; $hypothesis$ = まちゃまよLv.62事件と来し易いということが起きる ; $proof$ = 
fact4 & fact6 -> int1: 出血し易いということが発生する; int1 & fact7 -> int2: 来し易いということが生じる; int2 & fact3 -> hypothesis; __PROVED__
fact4 & fact6 -> int1: {B}; int1 & fact7 -> int2: {C}; int2 & fact3 -> hypothesis; __PROVED__