まちゃまにゅLv.36事件が発生する
fact1: ぷにょぷにゅLv.43事件と抗し切れること両方ともが発生する fact2: 「ぷにょぷにゅLv.43事件および抗し切れることが生じる」ということは事実と異なれば遠しということは起こらない fact3: ぷちゃぷねLv.25事件が生じる fact4: まちゃまにゅLv.36事件が起きないということは「ぷやぷにゅLv.8事件が生じるしさらにぷにょぷにゅLv.43事件が発生する」ということは契機だ fact5: もゆもいLv.49事件が起きる fact6: ぷやぷにゅLv.8事件が生じる
fact1 -> int1: ぷにょぷにゅLv.43事件が生じる; int1 & fact6 -> int2: ぷやぷにゅLv.8事件およびぷにょぷにゅLv.43事件どちらもが生じる; int2 & fact4 -> hypothesis;
fact1 -> int1: {A}; int1 & fact6 -> int2: ({C} & {A}); int2 & fact4 -> hypothesis;
遠しということは生じない
$facts$ = fact1: ぷにょぷにゅLv.43事件と抗し切れること両方ともが発生する fact2: 「ぷにょぷにゅLv.43事件および抗し切れることが生じる」ということは事実と異なれば遠しということは起こらない fact3: ぷちゃぷねLv.25事件が生じる fact4: まちゃまにゅLv.36事件が起きないということは「ぷやぷにゅLv.8事件が生じるしさらにぷにょぷにゅLv.43事件が発生する」ということは契機だ fact5: もゆもいLv.49事件が起きる fact6: ぷやぷにゅLv.8事件が生じる ; $hypothesis$ = まちゃまにゅLv.36事件が発生する ; $proof$ = 
fact1 -> int1: ぷにょぷにゅLv.43事件が生じる; int1 & fact6 -> int2: ぷやぷにゅLv.8事件およびぷにょぷにゅLv.43事件どちらもが生じる; int2 & fact4 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}; int1 & fact6 -> int2: ({C} & {A}); int2 & fact4 -> hypothesis; __DISPROVED__