「作り易いということは生じなくてしがないということは発生しない」ということは誤りである
fact1: 「作り易いということは発生しないし加えてしがないということは起きない」ということは「作り易いということは生じない」ということが原因である fact2: ぽにゃぽにゃLv.86事件が発生する fact3: ぴいぴにゅLv.52事件は起こらない fact4: まにゃまちょLv.35事件が起こる fact5: 野暮ったいということが起きる fact6: まにゃまちょLv.35事件および野暮ったいということが発生するは作り易いということを回避する
fact4 & fact5 -> int1: まにゃまちょLv.35事件が起こるし野暮ったいということが発生する; int1 & fact6 -> int2: 作り易いということは発生しない; int2 & fact1 -> hypothesis;
fact4 & fact5 -> int1: ({A} & {B}); int1 & fact6 -> int2: ¬{C}; int2 & fact1 -> hypothesis;
$facts$ = fact1: 「作り易いということは発生しないし加えてしがないということは起きない」ということは「作り易いということは生じない」ということが原因である fact2: ぽにゃぽにゃLv.86事件が発生する fact3: ぴいぴにゅLv.52事件は起こらない fact4: まにゃまちょLv.35事件が起こる fact5: 野暮ったいということが起きる fact6: まにゃまちょLv.35事件および野暮ったいということが発生するは作り易いということを回避する ; $hypothesis$ = 「作り易いということは生じなくてしがないということは発生しない」ということは誤りである ; $proof$ = 
fact4 & fact5 -> int1: まにゃまちょLv.35事件が起こるし野暮ったいということが発生する; int1 & fact6 -> int2: 作り易いということは発生しない; int2 & fact1 -> hypothesis; __DISPROVED__
fact4 & fact5 -> int1: ({A} & {B}); int1 & fact6 -> int2: ¬{C}; int2 & fact1 -> hypothesis; __DISPROVED__