「みちょみちゃLv.90事件は起こらない」ということは本当だ
fact1: ぽなぽわLv.20事件および知り合いらしいということが起きる fact2: ぽなぽわLv.20事件は「ぷいぷゆLv.13事件は生じない」ということを阻止する fact3: ぷいぷゆLv.13事件はみちょみちゃLv.90事件を誘発する
fact1 -> int1: ぽなぽわLv.20事件が発生する; int1 & fact2 -> int2: ぷいぷゆLv.13事件が発生する; int2 & fact3 -> hypothesis;
fact1 -> int1: {A}; int1 & fact2 -> int2: {C}; int2 & fact3 -> hypothesis;
$facts$ = fact1: ぽなぽわLv.20事件および知り合いらしいということが起きる fact2: ぽなぽわLv.20事件は「ぷいぷゆLv.13事件は生じない」ということを阻止する fact3: ぷいぷゆLv.13事件はみちょみちゃLv.90事件を誘発する ; $hypothesis$ = 「みちょみちゃLv.90事件は起こらない」ということは本当だ ; $proof$ = 
fact1 -> int1: ぽなぽわLv.20事件が発生する; int1 & fact2 -> int2: ぷいぷゆLv.13事件が発生する; int2 & fact3 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}; int1 & fact2 -> int2: {C}; int2 & fact3 -> hypothesis; __DISPROVED__