すりゃ良いということが起きる
fact1: ぷちゅぷゆLv.79事件が起きるしぽちゅぽちゃLv.23事件が生じる fact2: もし仮にぽちゅぽちゃLv.23事件が起きないとしたらみちゅみよLv.3事件およびぷちゅぷゆLv.79事件は発生する fact3: もしもみにゅみちょLv.74事件は起きないとすれば進化し易いということが生じる一方で口汚いということは生じない fact4: 「ぽちゅぽちゃLv.23事件が起きる」ということは真実である fact5: 口汚いということが起こる fact6: 「すりゃ良いということとぷちゅぷゆLv.79事件が起こる」ということは「ぽちゅぽちゃLv.23事件は起きない」ということに誘発される fact7: 鋭いということとみゆみゆLv.34事件が起こるは相談し易いということは生じないということを引き起こす fact8: すりゃ良いということは起きないということは「ぷちゅぷゆLv.79事件が起きるしまた口汚いということが発生する」ということに由来する
fact1 -> int1: ぷちゅぷゆLv.79事件が生じる; int1 & fact5 -> int2: ぷちゅぷゆLv.79事件が起きるし口汚いということが発生する; int2 & fact8 -> hypothesis;
fact1 -> int1: {A}; int1 & fact5 -> int2: ({A} & {C}); int2 & fact8 -> hypothesis;
みちゅみよLv.3事件が発生する
$facts$ = fact1: ぷちゅぷゆLv.79事件が起きるしぽちゅぽちゃLv.23事件が生じる fact2: もし仮にぽちゅぽちゃLv.23事件が起きないとしたらみちゅみよLv.3事件およびぷちゅぷゆLv.79事件は発生する fact3: もしもみにゅみちょLv.74事件は起きないとすれば進化し易いということが生じる一方で口汚いということは生じない fact4: 「ぽちゅぽちゃLv.23事件が起きる」ということは真実である fact5: 口汚いということが起こる fact6: 「すりゃ良いということとぷちゅぷゆLv.79事件が起こる」ということは「ぽちゅぽちゃLv.23事件は起きない」ということに誘発される fact7: 鋭いということとみゆみゆLv.34事件が起こるは相談し易いということは生じないということを引き起こす fact8: すりゃ良いということは起きないということは「ぷちゅぷゆLv.79事件が起きるしまた口汚いということが発生する」ということに由来する ; $hypothesis$ = すりゃ良いということが起きる ; $proof$ = 
fact1 -> int1: ぷちゅぷゆLv.79事件が生じる; int1 & fact5 -> int2: ぷちゅぷゆLv.79事件が起きるし口汚いということが発生する; int2 & fact8 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}; int1 & fact5 -> int2: ({A} & {C}); int2 & fact8 -> hypothesis; __DISPROVED__