「真新しいということが起こるしさらにまにまちょLv.35事件が起こる」ということは嘘だ
fact1: みのみやLv.32事件が発生する fact2: まにまちょLv.35事件が起きる fact3: もしみのみやLv.32事件は生じないとすれば「真新しいということが起こるしかつまにまちょLv.35事件が起きる」ということは本当でない fact4: 相対化出来ることは「真新しいということは生じない」ということを阻む fact5: 「相対化出来ることは起きないしぴよぴにゅLv.17事件は発生する」ということはみのみやLv.32事件を阻む fact6: 相対化出来ることは発生しないということはみのみやLv.32事件に阻止される fact7: 「取得し易いということが生じる」ということは確かだ
fact6 & fact1 -> int1: 「相対化出来ることが生じる」ということは本当である; int1 & fact4 -> int2: 真新しいということが起こる; int2 & fact2 -> hypothesis;
fact6 & fact1 -> int1: {B}; int1 & fact4 -> int2: {C}; int2 & fact2 -> hypothesis;
「真新しいということが起こるしさらにまにまちょLv.35事件が起こる」ということは嘘だ
$facts$ = fact1: みのみやLv.32事件が発生する fact2: まにまちょLv.35事件が起きる fact3: もしみのみやLv.32事件は生じないとすれば「真新しいということが起こるしかつまにまちょLv.35事件が起きる」ということは本当でない fact4: 相対化出来ることは「真新しいということは生じない」ということを阻む fact5: 「相対化出来ることは起きないしぴよぴにゅLv.17事件は発生する」ということはみのみやLv.32事件を阻む fact6: 相対化出来ることは発生しないということはみのみやLv.32事件に阻止される fact7: 「取得し易いということが生じる」ということは確かだ ; $hypothesis$ = 「真新しいということが起こるしさらにまにまちょLv.35事件が起こる」ということは嘘だ ; $proof$ = 
fact6 & fact1 -> int1: 「相対化出来ることが生じる」ということは本当である; int1 & fact4 -> int2: 真新しいということが起こる; int2 & fact2 -> hypothesis; __DISPROVED__
fact6 & fact1 -> int1: {B}; int1 & fact4 -> int2: {C}; int2 & fact2 -> hypothesis; __DISPROVED__