頑是無いということが生じる
fact1: 「まちゃまちゃLv.93事件は起きない」ということは成り立つ fact2: 頑是無いということは発生しないということは結び付き易いということとぷにゃぷにょLv.88事件が生じるが契機である fact3: ぷにゃぷにょLv.88事件が起きる fact4: 「まちゃまちゃLv.93事件は起きない」ということは「結び付き易いということが発生するししかも掻っ払うことは発生する」ということを発生させる
fact4 & fact1 -> int1: 結び付き易いということおよび掻っ払うこと両方が生じる; int1 -> int2: 結び付き易いということが生じる; int2 & fact3 -> int3: 結び付き易いということが生じるしおまけにぷにゃぷにょLv.88事件が起こる; int3 & fact2 -> hypothesis;
fact4 & fact1 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 & fact3 -> int3: ({A} & {C}); int3 & fact2 -> hypothesis;
$facts$ = fact1: 「まちゃまちゃLv.93事件は起きない」ということは成り立つ fact2: 頑是無いということは発生しないということは結び付き易いということとぷにゃぷにょLv.88事件が生じるが契機である fact3: ぷにゃぷにょLv.88事件が起きる fact4: 「まちゃまちゃLv.93事件は起きない」ということは「結び付き易いということが発生するししかも掻っ払うことは発生する」ということを発生させる ; $hypothesis$ = 頑是無いということが生じる ; $proof$ = 
fact4 & fact1 -> int1: 結び付き易いということおよび掻っ払うこと両方が生じる; int1 -> int2: 結び付き易いということが生じる; int2 & fact3 -> int3: 結び付き易いということが生じるしおまけにぷにゃぷにょLv.88事件が起こる; int3 & fact2 -> hypothesis; __DISPROVED__
fact4 & fact1 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 & fact3 -> int3: ({A} & {C}); int3 & fact2 -> hypothesis; __DISPROVED__