痩せ難いということが発生する
fact1: もしもぷえぷわLv.87事件が起きるとしたら痩せ難いということは起こらないけれど掻き易いということが発生する fact2: 清いということおよびぷえぷわLv.87事件が発生するはぴよぴにょLv.21事件が起こらないということは契機である fact3: 見苦しいということが発生する fact4: 痩せ難いということは見苦しいということが契機である
fact3 -> int1: 見苦しいということが発生する; int1 & fact4 -> hypothesis;
fact3 -> int1: {A}; int1 & fact4 -> hypothesis;
ぽくぽよLv.96事件が発生する
$facts$ = fact1: もしもぷえぷわLv.87事件が起きるとしたら痩せ難いということは起こらないけれど掻き易いということが発生する fact2: 清いということおよびぷえぷわLv.87事件が発生するはぴよぴにょLv.21事件が起こらないということは契機である fact3: 見苦しいということが発生する fact4: 痩せ難いということは見苦しいということが契機である ; $hypothesis$ = 痩せ難いということが発生する ; $proof$ = 
fact3 -> int1: 見苦しいということが発生する; int1 & fact4 -> hypothesis; __PROVED__
fact3 -> int1: {A}; int1 & fact4 -> hypothesis; __PROVED__