姉らしいということは発生しないししかもぴえぴちゃLv.90事件は発生しない
fact1: まにゃまにょLv.37事件が起きる fact2: ぴくぴわLv.82事件がまにゃまにょLv.37事件は発生するということに誘発される fact3: 腑甲斐無いということが起こる fact4: もしぴえぴちゃLv.90事件が起こらないなら姉らしいということは起こらないしぴえぴちゃLv.90事件は起こらない fact5: 「ぴえぴちゃLv.90事件が起きる」ということは「ぴくぴわLv.82事件が起きるしそれに腑甲斐無いということが発生する」ということに阻まれる
fact1 & fact2 -> int1: ぴくぴわLv.82事件が起こる; int1 & fact3 -> int2: ぴくぴわLv.82事件が発生するしおまけに腑甲斐無いということが生じる; int2 & fact5 -> int3: ぴえぴちゃLv.90事件は発生しない; int3 & fact4 -> hypothesis;
fact1 & fact2 -> int1: {A}; int1 & fact3 -> int2: ({A} & {B}); int2 & fact5 -> int3: ¬{C}; int3 & fact4 -> hypothesis;
$facts$ = fact1: まにゃまにょLv.37事件が起きる fact2: ぴくぴわLv.82事件がまにゃまにょLv.37事件は発生するということに誘発される fact3: 腑甲斐無いということが起こる fact4: もしぴえぴちゃLv.90事件が起こらないなら姉らしいということは起こらないしぴえぴちゃLv.90事件は起こらない fact5: 「ぴえぴちゃLv.90事件が起きる」ということは「ぴくぴわLv.82事件が起きるしそれに腑甲斐無いということが発生する」ということに阻まれる ; $hypothesis$ = 姉らしいということは発生しないししかもぴえぴちゃLv.90事件は発生しない ; $proof$ = 
fact1 & fact2 -> int1: ぴくぴわLv.82事件が起こる; int1 & fact3 -> int2: ぴくぴわLv.82事件が発生するしおまけに腑甲斐無いということが生じる; int2 & fact5 -> int3: ぴえぴちゃLv.90事件は発生しない; int3 & fact4 -> hypothesis; __PROVED__
fact1 & fact2 -> int1: {A}; int1 & fact3 -> int2: ({A} & {B}); int2 & fact5 -> int3: ¬{C}; int3 & fact4 -> hypothesis; __PROVED__