ぷちゅぷよLv.29事件は発生するがしかしぴちゅぴにゅLv.28事件は生じない
fact1: もしもいもくLv.91事件が生じるしまたスタートすることが起こるとしたら「ぴちゅぴにゅLv.28事件は起こらない」ということは正しい fact2: ぷにゃぷちょLv.1事件およびもちゃもにLv.76事件両方が発生する fact3: ぷちゅぷよLv.29事件が発生する fact4: もいもくLv.91事件が生じる fact5: ぽにゃぽのLv.53事件が起こる fact6: スタートすることが起きる
fact4 & fact6 -> int1: もいもくLv.91事件は発生するしスタートすることは発生する; int1 & fact1 -> int2: ぴちゅぴにゅLv.28事件は発生しない; int2 & fact3 -> hypothesis;
fact4 & fact6 -> int1: ({A} & {B}); int1 & fact1 -> int2: ¬{C}; int2 & fact3 -> hypothesis;
$facts$ = fact1: もしもいもくLv.91事件が生じるしまたスタートすることが起こるとしたら「ぴちゅぴにゅLv.28事件は起こらない」ということは正しい fact2: ぷにゃぷちょLv.1事件およびもちゃもにLv.76事件両方が発生する fact3: ぷちゅぷよLv.29事件が発生する fact4: もいもくLv.91事件が生じる fact5: ぽにゃぽのLv.53事件が起こる fact6: スタートすることが起きる ; $hypothesis$ = ぷちゅぷよLv.29事件は発生するがしかしぴちゅぴにゅLv.28事件は生じない ; $proof$ = 
fact4 & fact6 -> int1: もいもくLv.91事件は発生するしスタートすることは発生する; int1 & fact1 -> int2: ぴちゅぴにゅLv.28事件は発生しない; int2 & fact3 -> hypothesis; __PROVED__
fact4 & fact6 -> int1: ({A} & {B}); int1 & fact1 -> int2: ¬{C}; int2 & fact3 -> hypothesis; __PROVED__