もちゅもよLv.4事件は起きない
fact1: ぷちゅぷゆLv.59事件が発生する fact2: 「商人らしいということとみちゅみにょLv.16事件どちらもが起こる」ということは見え易いということは生じないということに引き起こされる fact3: ぽわぽくLv.33事件が起こる fact4: ぽねぽくLv.53事件が発生する fact5: もいもちゅLv.72事件が生じる fact6: みちゅみにょLv.16事件が起こるし見え易いということが起きる fact7: みちゅみにょLv.16事件ともいもちゅLv.72事件が発生するは「もちゅもよLv.4事件は起こらない」ということを生じさせる
fact6 -> int1: みちゅみにょLv.16事件が発生する; int1 & fact5 -> int2: みちゅみにょLv.16事件が生じるしもいもちゅLv.72事件が生じる; int2 & fact7 -> hypothesis;
fact6 -> int1: {A}; int1 & fact5 -> int2: ({A} & {C}); int2 & fact7 -> hypothesis;
「商人らしいということが発生する」ということは事実だ
$facts$ = fact1: ぷちゅぷゆLv.59事件が発生する fact2: 「商人らしいということとみちゅみにょLv.16事件どちらもが起こる」ということは見え易いということは生じないということに引き起こされる fact3: ぽわぽくLv.33事件が起こる fact4: ぽねぽくLv.53事件が発生する fact5: もいもちゅLv.72事件が生じる fact6: みちゅみにょLv.16事件が起こるし見え易いということが起きる fact7: みちゅみにょLv.16事件ともいもちゅLv.72事件が発生するは「もちゅもよLv.4事件は起こらない」ということを生じさせる ; $hypothesis$ = もちゅもよLv.4事件は起きない ; $proof$ = 
fact6 -> int1: みちゅみにょLv.16事件が発生する; int1 & fact5 -> int2: みちゅみにょLv.16事件が生じるしもいもちゅLv.72事件が生じる; int2 & fact7 -> hypothesis; __PROVED__
fact6 -> int1: {A}; int1 & fact5 -> int2: ({A} & {C}); int2 & fact7 -> hypothesis; __PROVED__