ぴなぴいLv.75事件は起きない
fact1: 「ぴなぴいLv.75事件は起きない」ということは色好いということに阻まれる fact2: 冗談ぽいということが起きる fact3: 「言い易いということが起こるし加えて冗談ぽいということが生じる」ということは確かである fact4: まなまえLv.82事件は優しということは生じないということを阻止する fact5: 立て易いということはみのみちゅLv.93事件に起因する fact6: 色好いということは言い易いということに起因する fact7: 慈悲深いということはみにみちゅLv.82事件は起きないということを阻む fact8: ぽゆぽのLv.75事件が発生する
fact3 -> int1: 言い易いということが起きる; int1 & fact6 -> int2: 色好いということが発生する; int2 & fact1 -> hypothesis;
fact3 -> int1: {A}; int1 & fact6 -> int2: {C}; int2 & fact1 -> hypothesis;
$facts$ = fact1: 「ぴなぴいLv.75事件は起きない」ということは色好いということに阻まれる fact2: 冗談ぽいということが起きる fact3: 「言い易いということが起こるし加えて冗談ぽいということが生じる」ということは確かである fact4: まなまえLv.82事件は優しということは生じないということを阻止する fact5: 立て易いということはみのみちゅLv.93事件に起因する fact6: 色好いということは言い易いということに起因する fact7: 慈悲深いということはみにみちゅLv.82事件は起きないということを阻む fact8: ぽゆぽのLv.75事件が発生する ; $hypothesis$ = ぴなぴいLv.75事件は起きない ; $proof$ = 
fact3 -> int1: 言い易いということが起きる; int1 & fact6 -> int2: 色好いということが発生する; int2 & fact1 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}; int1 & fact6 -> int2: {C}; int2 & fact1 -> hypothesis; __DISPROVED__