そのぷちゃぷいLv.79は手緩い
fact1: 仮にそのぷちゃぷいLv.79が手緩いとしたら来易い fact2: もし仮になんらかのモンスターが付託すればそれは未練がましくない fact3: もし仮にそのぷちゃぷいLv.79が通り難いとしたらそのぷちゃぷいLv.79は手緩い fact4: このぴわぴえLv.56は手緩い fact5: そのぷちゃぷいLv.79は通り難い fact6: もしもそのぷちゃぷいLv.79が未練がましくないならそのぷやぷにゅLv.48は通り難いし手緩い
fact5 -> int1: そのぷちゃぷいLv.79は通り難い; int1 & fact3 -> hypothesis;
fact5 -> int1: {A}{a}; int1 & fact3 -> hypothesis;
そのぷやぷにゅLv.48は通り難い
fact7 -> int2: 仮に「そのぷちゃぷいLv.79は付託する」ということは間違っているということはないならば未練がましくない;
$facts$ = fact1: 仮にそのぷちゃぷいLv.79が手緩いとしたら来易い fact2: もし仮になんらかのモンスターが付託すればそれは未練がましくない fact3: もし仮にそのぷちゃぷいLv.79が通り難いとしたらそのぷちゃぷいLv.79は手緩い fact4: このぴわぴえLv.56は手緩い fact5: そのぷちゃぷいLv.79は通り難い fact6: もしもそのぷちゃぷいLv.79が未練がましくないならそのぷやぷにゅLv.48は通り難いし手緩い ; $hypothesis$ = そのぷちゃぷいLv.79は手緩い ; $proof$ = 
fact5 -> int1: そのぷちゃぷいLv.79は通り難い; int1 & fact3 -> hypothesis; __PROVED__
fact5 -> int1: {A}{a}; int1 & fact3 -> hypothesis; __PROVED__