「納得し難いということおよびみなみゆLv.68事件が発生する」ということは成り立つ
fact1: 納得し難いということが生じる fact2: ぴゆぴにゅLv.80事件が生じるし更にぴえぴちゃLv.56事件が起きる fact3: 「みなみゆLv.68事件は起こらない」ということは「ぴえぴちゃLv.56事件が生じる」ということに阻止される
fact2 -> int1: 「ぴえぴちゃLv.56事件が生じる」ということは事実だ; int1 & fact3 -> int2: 「みなみゆLv.68事件が生じる」ということは正しい; int2 & fact1 -> hypothesis;
fact2 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 & fact1 -> hypothesis;
$facts$ = fact1: 納得し難いということが生じる fact2: ぴゆぴにゅLv.80事件が生じるし更にぴえぴちゃLv.56事件が起きる fact3: 「みなみゆLv.68事件は起こらない」ということは「ぴえぴちゃLv.56事件が生じる」ということに阻止される ; $hypothesis$ = 「納得し難いということおよびみなみゆLv.68事件が発生する」ということは成り立つ ; $proof$ = 
fact2 -> int1: 「ぴえぴちゃLv.56事件が生じる」ということは事実だ; int1 & fact3 -> int2: 「みなみゆLv.68事件が生じる」ということは正しい; int2 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 & fact1 -> hypothesis; __PROVED__