ぴよぴねLv.73事件が起こる
fact1: ぽゆぽちゅLv.12事件が発生する fact2: 苦しということは起きないならみにょみちゃLv.75事件は生じなくてぴえぴわLv.62事件が生じる fact3: 礼儀正しいということが発生する fact4: みちゅみよLv.9事件が発生する fact5: 腑甲斐無いということは「少しすることは発生しない」ということを防ぐ fact6: 腑甲斐無いということが起きる fact7: 少しすることは起こらないということは「みにょみちゃLv.75事件は起こらないしぴえぴわLv.62事件が起きる」ということに引き起こされる fact8: みにょみちゃLv.75事件はぴよぴねLv.73事件が生じるということを発生させる fact9: 少しすることがみにょみちゃLv.75事件は生じないということを阻む
fact5 & fact6 -> int1: 少しすることが発生する; int1 & fact9 -> int2: みにょみちゃLv.75事件が起きる; int2 & fact8 -> hypothesis;
fact5 & fact6 -> int1: {B}; int1 & fact9 -> int2: {C}; int2 & fact8 -> hypothesis;
ぴよぴねLv.73事件は生じない
$facts$ = fact1: ぽゆぽちゅLv.12事件が発生する fact2: 苦しということは起きないならみにょみちゃLv.75事件は生じなくてぴえぴわLv.62事件が生じる fact3: 礼儀正しいということが発生する fact4: みちゅみよLv.9事件が発生する fact5: 腑甲斐無いということは「少しすることは発生しない」ということを防ぐ fact6: 腑甲斐無いということが起きる fact7: 少しすることは起こらないということは「みにょみちゃLv.75事件は起こらないしぴえぴわLv.62事件が起きる」ということに引き起こされる fact8: みにょみちゃLv.75事件はぴよぴねLv.73事件が生じるということを発生させる fact9: 少しすることがみにょみちゃLv.75事件は生じないということを阻む ; $hypothesis$ = ぴよぴねLv.73事件が起こる ; $proof$ = 
fact5 & fact6 -> int1: 少しすることが発生する; int1 & fact9 -> int2: みにょみちゃLv.75事件が起きる; int2 & fact8 -> hypothesis; __PROVED__
fact5 & fact6 -> int1: {B}; int1 & fact9 -> int2: {C}; int2 & fact8 -> hypothesis; __PROVED__