「ぴよぴにゃLv.76事件が起きないかあるいはぽちゃぽちゅLv.44事件は起きない」ということは嘘だ
fact1: 「ぴゆぴやLv.65事件が起こる」ということは対峙することに由来する fact2: 有り難しということは起こらないならばぴよぴにゃLv.76事件が発生しないかあるいはぽちゃぽちゅLv.44事件は発生しない fact3: みにゃみのLv.17事件が発生すれば「ぴよぴにゃLv.76事件が起こらないかもしくはぽちゃぽちゅLv.44事件は発生しないかあるいはどちらもである」ということは間違いである fact4: 有り難しということおよびみにゃみのLv.17事件が発生する
fact4 -> int1: みにゃみのLv.17事件が起きる; int1 & fact3 -> hypothesis;
fact4 -> int1: {B}; int1 & fact3 -> hypothesis;
ぴよぴにゃLv.76事件が起きないかもしくはぽちゃぽちゅLv.44事件は起こらないかどちらもだ
$facts$ = fact1: 「ぴゆぴやLv.65事件が起こる」ということは対峙することに由来する fact2: 有り難しということは起こらないならばぴよぴにゃLv.76事件が発生しないかあるいはぽちゃぽちゅLv.44事件は発生しない fact3: みにゃみのLv.17事件が発生すれば「ぴよぴにゃLv.76事件が起こらないかもしくはぽちゃぽちゅLv.44事件は発生しないかあるいはどちらもである」ということは間違いである fact4: 有り難しということおよびみにゃみのLv.17事件が発生する ; $hypothesis$ = 「ぴよぴにゃLv.76事件が起きないかあるいはぽちゃぽちゅLv.44事件は起きない」ということは嘘だ ; $proof$ = 
fact4 -> int1: みにゃみのLv.17事件が起きる; int1 & fact3 -> hypothesis; __PROVED__
fact4 -> int1: {B}; int1 & fact3 -> hypothesis; __PROVED__