残り易いということは生じない
fact1: 「みにゅみなLv.23事件が起こる」ということは「建築することは発生しない」ということを阻止する fact2: みにゅみなLv.23事件が生じるし身軽いということが起きる fact3: 「受け持ちすることが生じる」ということは建築することに由来する fact4: ぴちょぴにょLv.26事件が生じる
fact2 -> int1: みにゅみなLv.23事件が起きる; int1 & fact1 -> int2: 建築することが生じる; int2 & fact3 -> int3: 受け持ちすることが生じる; int3 & fact4 -> int4: ぴちょぴにょLv.26事件が起きるし更に受け持ちすることが生じる;
fact2 -> int1: {A}; int1 & fact1 -> int2: {C}; int2 & fact3 -> int3: {D}; int3 & fact4 -> int4: ({E} & {D});
$facts$ = fact1: 「みにゅみなLv.23事件が起こる」ということは「建築することは発生しない」ということを阻止する fact2: みにゅみなLv.23事件が生じるし身軽いということが起きる fact3: 「受け持ちすることが生じる」ということは建築することに由来する fact4: ぴちょぴにょLv.26事件が生じる ; $hypothesis$ = 残り易いということは生じない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__