まくまちゅLv.88事件は生じなくてさらに呆気ないということは起こらない
fact1: もし仮に維持・向上することは起こらないなら「まくまちゅLv.88事件は生じないししかも呆気ないということは生じない」ということは偽である fact2: 仮に「煩わしいということは生じない」ということは成り立つなら「維持・向上することおよびみにみちょLv.57事件どちらもが起きる」ということは間違いである fact3: まくまちゅLv.88事件は「維持・向上することとみにみちょLv.57事件両方ともが起きる」ということに阻まれる fact4: 呆気ないということは発生しない fact5: みにみちょLv.57事件が起きる fact6: 煩わしいということが起きるしかつ維持・向上することが起こる fact7: 煩わしいということが起きる fact8: 子供らしいということが起こるしかつ手酷いということが生じる
fact6 -> int1: 維持・向上することが起きる; int1 & fact5 -> int2: 維持・向上することが起こるしみにみちょLv.57事件が起こる; int2 & fact3 -> int3: 「まくまちゅLv.88事件は起きない」ということは真実である; int3 & fact4 -> hypothesis;
fact6 -> int1: {A}; int1 & fact5 -> int2: ({A} & {B}); int2 & fact3 -> int3: ¬{C}; int3 & fact4 -> hypothesis;
「まくまちゅLv.88事件は起きないし更に呆気ないということは起きない」ということは誤っている
$facts$ = fact1: もし仮に維持・向上することは起こらないなら「まくまちゅLv.88事件は生じないししかも呆気ないということは生じない」ということは偽である fact2: 仮に「煩わしいということは生じない」ということは成り立つなら「維持・向上することおよびみにみちょLv.57事件どちらもが起きる」ということは間違いである fact3: まくまちゅLv.88事件は「維持・向上することとみにみちょLv.57事件両方ともが起きる」ということに阻まれる fact4: 呆気ないということは発生しない fact5: みにみちょLv.57事件が起きる fact6: 煩わしいということが起きるしかつ維持・向上することが起こる fact7: 煩わしいということが起きる fact8: 子供らしいということが起こるしかつ手酷いということが生じる ; $hypothesis$ = まくまちゅLv.88事件は生じなくてさらに呆気ないということは起こらない ; $proof$ = 
fact6 -> int1: 維持・向上することが起きる; int1 & fact5 -> int2: 維持・向上することが起こるしみにみちょLv.57事件が起こる; int2 & fact3 -> int3: 「まくまちゅLv.88事件は起きない」ということは真実である; int3 & fact4 -> hypothesis; __PROVED__
fact6 -> int1: {A}; int1 & fact5 -> int2: ({A} & {B}); int2 & fact3 -> int3: ¬{C}; int3 & fact4 -> hypothesis; __PROVED__