当て始めることは起きない
fact1: まちゅまちゃLv.92事件が起こる fact2: もし「調べ易いということは生じないけれどめんどいということが起こる」ということは真実であるということはないとしたらめんどいということは生じない fact3: 喋り難いということおよび調べ易いということが起きる fact4: 「喋り難いということおよびまちゅまちゃLv.92事件が起こる」ということは「当て始めることが発生する」ということを阻む
fact3 -> int1: 喋り難いということが起きる; int1 & fact1 -> int2: 喋り難いということが生じるしそれにまちゅまちゃLv.92事件が生じる; int2 & fact4 -> hypothesis;
fact3 -> int1: {A}; int1 & fact1 -> int2: ({A} & {C}); int2 & fact4 -> hypothesis;
めんどいということは発生しない
$facts$ = fact1: まちゅまちゃLv.92事件が起こる fact2: もし「調べ易いということは生じないけれどめんどいということが起こる」ということは真実であるということはないとしたらめんどいということは生じない fact3: 喋り難いということおよび調べ易いということが起きる fact4: 「喋り難いということおよびまちゅまちゃLv.92事件が起こる」ということは「当て始めることが発生する」ということを阻む ; $hypothesis$ = 当て始めることは起きない ; $proof$ = 
fact3 -> int1: 喋り難いということが起きる; int1 & fact1 -> int2: 喋り難いということが生じるしそれにまちゅまちゃLv.92事件が生じる; int2 & fact4 -> hypothesis; __PROVED__
fact3 -> int1: {A}; int1 & fact1 -> int2: ({A} & {C}); int2 & fact4 -> hypothesis; __PROVED__