明かすことは生じない
fact1: みちゅみゆLv.64事件とぽにぽいLv.24事件が生じるは明かすことは発生しないということの原因となる fact2: ぷにゅぷよLv.13事件は起きない fact3: 「ぽにぽいLv.24事件が生じる」ということは偽でない fact4: ぷにゅぷよLv.13事件は発生しないけどみちゅみゆLv.64事件が生じる fact5: 「みちゅみゆLv.64事件は発生しない」ということは「みえみちゅLv.23事件が起きないしかつぷにゅぷよLv.13事件は生じない」ということをもたらす fact6: 濁ることおよび忘却すること両方ともが発生する fact7: 「明かすことは起きない」ということはぷにゅぷよLv.13事件に阻まれる
fact4 -> int1: みちゅみゆLv.64事件が生じる; int1 & fact3 -> int2: みちゅみゆLv.64事件とぽにぽいLv.24事件が起きる; int2 & fact1 -> hypothesis;
fact4 -> int1: {B}; int1 & fact3 -> int2: ({B} & {C}); int2 & fact1 -> hypothesis;
「明かすことが起きる」ということは偽でない
$facts$ = fact1: みちゅみゆLv.64事件とぽにぽいLv.24事件が生じるは明かすことは発生しないということの原因となる fact2: ぷにゅぷよLv.13事件は起きない fact3: 「ぽにぽいLv.24事件が生じる」ということは偽でない fact4: ぷにゅぷよLv.13事件は発生しないけどみちゅみゆLv.64事件が生じる fact5: 「みちゅみゆLv.64事件は発生しない」ということは「みえみちゅLv.23事件が起きないしかつぷにゅぷよLv.13事件は生じない」ということをもたらす fact6: 濁ることおよび忘却すること両方ともが発生する fact7: 「明かすことは起きない」ということはぷにゅぷよLv.13事件に阻まれる ; $hypothesis$ = 明かすことは生じない ; $proof$ = 
fact4 -> int1: みちゅみゆLv.64事件が生じる; int1 & fact3 -> int2: みちゅみゆLv.64事件とぽにぽいLv.24事件が起きる; int2 & fact1 -> hypothesis; __PROVED__
fact4 -> int1: {B}; int1 & fact3 -> int2: ({B} & {C}); int2 & fact1 -> hypothesis; __PROVED__