あのぷちゅぷよLv.33は期し難い
fact1: とあるモンスターが取り出し易いならフォローアップする fact2: 仮にあのぷちゅぷよLv.33が緩いとすれば期し難い fact3: あのぷちゅぷよLv.33は緩い fact4: あのまねまちょLv.7は取り出し易い fact5: もしもあのぷちゅぷよLv.33が水っぽいならばあのぷちゅぷよLv.33はどす黒い fact6: あのぽにゅぽやLv.79は期し難い fact7: 仮にあのまねまちょLv.7が取り出し易いとしたらあのもちょもにLv.25は取り出し易い
fact3 -> int1: あのぷちゅぷよLv.33は緩い; int1 & fact2 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
あのぷちゅぷよLv.33は期し難くない
fact9 -> int2: もしあのもちょもにLv.25が取り出し易いならばあのもちょもにLv.25はフォローアップする; fact8 & fact10 -> int3: あのもちょもにLv.25は取り出し易い; int2 & int3 -> int4: あのもちょもにLv.25はフォローアップする;
$facts$ = fact1: とあるモンスターが取り出し易いならフォローアップする fact2: 仮にあのぷちゅぷよLv.33が緩いとすれば期し難い fact3: あのぷちゅぷよLv.33は緩い fact4: あのまねまちょLv.7は取り出し易い fact5: もしもあのぷちゅぷよLv.33が水っぽいならばあのぷちゅぷよLv.33はどす黒い fact6: あのぽにゅぽやLv.79は期し難い fact7: 仮にあのまねまちょLv.7が取り出し易いとしたらあのもちょもにLv.25は取り出し易い ; $hypothesis$ = あのぷちゅぷよLv.33は期し難い ; $proof$ = 
fact3 -> int1: あのぷちゅぷよLv.33は緩い; int1 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __PROVED__