「ぴゆぴねLv.21事件ともちゅもよLv.94事件が起こる」ということは成り立たない
fact1: みゆみくLv.15事件は「ぴゆぴねLv.21事件は起こらない」ということを阻止する fact2: もしもぴいぴにゅLv.94事件は起きないならば「ぴゆぴねLv.21事件ともちゅもよLv.94事件が起こる」ということは誤りだ fact3: 「ぴいぴにゅLv.94事件が生じるけどぴえぴくLv.22事件は起こらない」ということは間違いだとすればぴいぴにゅLv.94事件は発生しない fact4: もちゅもよLv.94事件が生じる fact5: ぴいぴにゅLv.94事件およびみゆみくLv.15事件が起きる
fact5 -> int1: みゆみくLv.15事件が起こる; int1 & fact1 -> int2: ぴゆぴねLv.21事件が起きる; int2 & fact4 -> hypothesis;
fact5 -> int1: {B}; int1 & fact1 -> int2: {C}; int2 & fact4 -> hypothesis;
「ぴゆぴねLv.21事件ともちゅもよLv.94事件が起こる」ということは成り立たない
$facts$ = fact1: みゆみくLv.15事件は「ぴゆぴねLv.21事件は起こらない」ということを阻止する fact2: もしもぴいぴにゅLv.94事件は起きないならば「ぴゆぴねLv.21事件ともちゅもよLv.94事件が起こる」ということは誤りだ fact3: 「ぴいぴにゅLv.94事件が生じるけどぴえぴくLv.22事件は起こらない」ということは間違いだとすればぴいぴにゅLv.94事件は発生しない fact4: もちゅもよLv.94事件が生じる fact5: ぴいぴにゅLv.94事件およびみゆみくLv.15事件が起きる ; $hypothesis$ = 「ぴゆぴねLv.21事件ともちゅもよLv.94事件が起こる」ということは成り立たない ; $proof$ = 
fact5 -> int1: みゆみくLv.15事件が起こる; int1 & fact1 -> int2: ぴゆぴねLv.21事件が起きる; int2 & fact4 -> hypothesis; __DISPROVED__
fact5 -> int1: {B}; int1 & fact1 -> int2: {C}; int2 & fact4 -> hypothesis; __DISPROVED__