ぽにゅぽちゅLv.96事件は発生しない
fact1: 違いということが生じる fact2: 違いということが生じるしぽよぽちゃLv.96事件が起きる fact3: ぴにゅぴねLv.92事件が起きる fact4: ぽよぽちゃLv.96事件と荒っぽいということが起こるはぽにゅぽちゅLv.96事件は起こらないということを引き起こす fact5: ぷにょぷにょLv.34事件は発生しない fact6: 荒っぽいということが起こる
fact2 -> int1: ぽよぽちゃLv.96事件が起きる; int1 & fact6 -> int2: ぽよぽちゃLv.96事件と荒っぽいということどちらもが生じる; int2 & fact4 -> hypothesis;
fact2 -> int1: {B}; int1 & fact6 -> int2: ({B} & {C}); int2 & fact4 -> hypothesis;
$facts$ = fact1: 違いということが生じる fact2: 違いということが生じるしぽよぽちゃLv.96事件が起きる fact3: ぴにゅぴねLv.92事件が起きる fact4: ぽよぽちゃLv.96事件と荒っぽいということが起こるはぽにゅぽちゅLv.96事件は起こらないということを引き起こす fact5: ぷにょぷにょLv.34事件は発生しない fact6: 荒っぽいということが起こる ; $hypothesis$ = ぽにゅぽちゅLv.96事件は発生しない ; $proof$ = 
fact2 -> int1: ぽよぽちゃLv.96事件が起きる; int1 & fact6 -> int2: ぽよぽちゃLv.96事件と荒っぽいということどちらもが生じる; int2 & fact4 -> hypothesis; __PROVED__
fact2 -> int1: {B}; int1 & fact6 -> int2: ({B} & {C}); int2 & fact4 -> hypothesis; __PROVED__