「もえもちゅLv.85事件は起きないしぽにゅぽにゅLv.90事件は発生しない」ということは嘘である
fact1: みちゅみちょLv.19事件はみねみにLv.6事件を誘発する fact2: 日本人らしいということともやもなLv.72事件が起こる fact3: 日本人らしいということはみちゅみちょLv.19事件を発生させる fact4: もし仮に日本人らしいということは発生しないとすれば「「「もえもちゅLv.85事件が発生しないしまたぽにゅぽにゅLv.90事件は発生しない」ということは本当である」ということは間違いだ」ということは確かである fact5: みねみにLv.6事件は「もえもちゅLv.85事件が起きないししかもぽにゅぽにゅLv.90事件は発生しない」ということのきっかけとなる fact6: もやもなLv.72事件は生じないということは「関わり続けることおよび日本人らしいということ両方ともが起こる」ということの原因となる
fact2 -> int1: 日本人らしいということが発生する; fact3 & int1 -> int2: みちゅみちょLv.19事件が起きる; int2 & fact1 -> int3: みねみにLv.6事件が生じる; int3 & fact5 -> hypothesis;
fact2 -> int1: {A}; fact3 & int1 -> int2: {B}; int2 & fact1 -> int3: {C}; int3 & fact5 -> hypothesis;
関わり続けることおよびまにゅまいLv.22事件が起こる
$facts$ = fact1: みちゅみちょLv.19事件はみねみにLv.6事件を誘発する fact2: 日本人らしいということともやもなLv.72事件が起こる fact3: 日本人らしいということはみちゅみちょLv.19事件を発生させる fact4: もし仮に日本人らしいということは発生しないとすれば「「「もえもちゅLv.85事件が発生しないしまたぽにゅぽにゅLv.90事件は発生しない」ということは本当である」ということは間違いだ」ということは確かである fact5: みねみにLv.6事件は「もえもちゅLv.85事件が起きないししかもぽにゅぽにゅLv.90事件は発生しない」ということのきっかけとなる fact6: もやもなLv.72事件は生じないということは「関わり続けることおよび日本人らしいということ両方ともが起こる」ということの原因となる ; $hypothesis$ = 「もえもちゅLv.85事件は起きないしぽにゅぽにゅLv.90事件は発生しない」ということは嘘である ; $proof$ = 
fact2 -> int1: 日本人らしいということが発生する; fact3 & int1 -> int2: みちゅみちょLv.19事件が起きる; int2 & fact1 -> int3: みねみにLv.6事件が生じる; int3 & fact5 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}; fact3 & int1 -> int2: {B}; int2 & fact1 -> int3: {C}; int3 & fact5 -> hypothesis; __DISPROVED__