ぽにぽのLv.20事件は起こらない
fact1: もちょものLv.56事件は起きないということは「付け易いということは起こらない」ということにより生じる fact2: まにゃまにゃLv.75事件が発生する fact3: もし仮にまにゃまにゃLv.75事件が発生するししつこいということが起きるとすれば「ちっこいということは起きない」ということは真実だ fact4: 「しつこいということが起こる」ということは事実だ fact5: ぽにぽのLv.20事件が起こるということはちっこいということは起きないということに防がれる
fact2 & fact4 -> int1: まにゃまにゃLv.75事件が生じるしおまけにしつこいということが起こる; int1 & fact3 -> int2: ちっこいということは起きない; int2 & fact5 -> hypothesis;
fact2 & fact4 -> int1: ({A} & {B}); int1 & fact3 -> int2: ¬{C}; int2 & fact5 -> hypothesis;
$facts$ = fact1: もちょものLv.56事件は起きないということは「付け易いということは起こらない」ということにより生じる fact2: まにゃまにゃLv.75事件が発生する fact3: もし仮にまにゃまにゃLv.75事件が発生するししつこいということが起きるとすれば「ちっこいということは起きない」ということは真実だ fact4: 「しつこいということが起こる」ということは事実だ fact5: ぽにぽのLv.20事件が起こるということはちっこいということは起きないということに防がれる ; $hypothesis$ = ぽにぽのLv.20事件は起こらない ; $proof$ = 
fact2 & fact4 -> int1: まにゃまにゃLv.75事件が生じるしおまけにしつこいということが起こる; int1 & fact3 -> int2: ちっこいということは起きない; int2 & fact5 -> hypothesis; __PROVED__
fact2 & fact4 -> int1: ({A} & {B}); int1 & fact3 -> int2: ¬{C}; int2 & fact5 -> hypothesis; __PROVED__