汚らしいということが起きるしその上ぴねぴよLv.21事件が生じる
fact1: 待てることともにゃもえLv.86事件どちらもが起こる fact2: 汚らしいということはぴやぴにゅLv.65事件がきっかけだ fact3: 仮にぴやぴにゅLv.65事件が起きないならばぴわぴねLv.10事件が生じるしまたぴなぴくLv.42事件は発生する fact4: 煤けることが起きる fact5: もしぴわぴねLv.10事件は起こらないならば「汚らしいということが発生するしぴねぴよLv.21事件が起きる」ということは嘘である fact6: ぷわぷいLv.68事件が起きる fact7: ぴわぴねLv.10事件が生じるししかもぴやぴにゅLv.65事件が生じる fact8: ぴねぴよLv.21事件が起こる
fact7 -> int1: ぴやぴにゅLv.65事件が起きる; int1 & fact2 -> int2: 汚らしいということが生じる; int2 & fact8 -> hypothesis;
fact7 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact8 -> hypothesis;
「汚らしいということとぴねぴよLv.21事件が発生する」ということは誤っている
$facts$ = fact1: 待てることともにゃもえLv.86事件どちらもが起こる fact2: 汚らしいということはぴやぴにゅLv.65事件がきっかけだ fact3: 仮にぴやぴにゅLv.65事件が起きないならばぴわぴねLv.10事件が生じるしまたぴなぴくLv.42事件は発生する fact4: 煤けることが起きる fact5: もしぴわぴねLv.10事件は起こらないならば「汚らしいということが発生するしぴねぴよLv.21事件が起きる」ということは嘘である fact6: ぷわぷいLv.68事件が起きる fact7: ぴわぴねLv.10事件が生じるししかもぴやぴにゅLv.65事件が生じる fact8: ぴねぴよLv.21事件が起こる ; $hypothesis$ = 汚らしいということが起きるしその上ぴねぴよLv.21事件が生じる ; $proof$ = 
fact7 -> int1: ぴやぴにゅLv.65事件が起きる; int1 & fact2 -> int2: 汚らしいということが生じる; int2 & fact8 -> hypothesis; __PROVED__
fact7 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact8 -> hypothesis; __PROVED__