ぷちゃぷくLv.45事件は発生するがぷにぷにLv.36事件は発生しない
fact1: 「まにょまにLv.85事件が生じるし更に恋することが起こる」ということはぷにぷにLv.36事件を阻止する fact2: もしまにょまにLv.85事件は起きないとすると「ぷちゃぷくLv.45事件が起こるけれどぷにぷにLv.36事件は発生しない」ということは確かでない fact3: 「恋することが生じるがまちゅまえLv.16事件は起こらない」ということはぷやぷちゃLv.65事件がきっかけである fact4: 「恋することが起こるがしかしまちゅまえLv.16事件は起こらない」ということはまにょまにLv.85事件は起きないということに繋がる fact5: 「恋することは起きない」ということは「まにょまにLv.85事件が生じるがしかし現わることは起きない」ということに帰結する fact6: 身請けすることは起こらない fact7: まにょまにLv.85事件が発生する fact8: 恋することが発生する fact9: ぷちゃぷくLv.45事件が生じる
fact7 & fact8 -> int1: まにょまにLv.85事件および恋することが起きる; int1 & fact1 -> int2: ぷにぷにLv.36事件は起こらない; int2 & fact9 -> hypothesis;
fact7 & fact8 -> int1: ({A} & {B}); int1 & fact1 -> int2: ¬{C}; int2 & fact9 -> hypothesis;
「ぷちゃぷくLv.45事件は発生するけどぷにぷにLv.36事件は起こらない」ということは成り立たない
$facts$ = fact1: 「まにょまにLv.85事件が生じるし更に恋することが起こる」ということはぷにぷにLv.36事件を阻止する fact2: もしまにょまにLv.85事件は起きないとすると「ぷちゃぷくLv.45事件が起こるけれどぷにぷにLv.36事件は発生しない」ということは確かでない fact3: 「恋することが生じるがまちゅまえLv.16事件は起こらない」ということはぷやぷちゃLv.65事件がきっかけである fact4: 「恋することが起こるがしかしまちゅまえLv.16事件は起こらない」ということはまにょまにLv.85事件は起きないということに繋がる fact5: 「恋することは起きない」ということは「まにょまにLv.85事件が生じるがしかし現わることは起きない」ということに帰結する fact6: 身請けすることは起こらない fact7: まにょまにLv.85事件が発生する fact8: 恋することが発生する fact9: ぷちゃぷくLv.45事件が生じる ; $hypothesis$ = ぷちゃぷくLv.45事件は発生するがぷにぷにLv.36事件は発生しない ; $proof$ = 
fact7 & fact8 -> int1: まにょまにLv.85事件および恋することが起きる; int1 & fact1 -> int2: ぷにぷにLv.36事件は起こらない; int2 & fact9 -> hypothesis; __PROVED__
fact7 & fact8 -> int1: ({A} & {B}); int1 & fact1 -> int2: ¬{C}; int2 & fact9 -> hypothesis; __PROVED__