あのぴわぴよLv.1は嘆かわしい
fact1: このぷわぷやLv.12は焼き難い fact2: 全てのモンスターは偉くて小狡い fact3: このもにもにょLv.46は焼き難い fact4: もしもこのもにもにょLv.46が焼き難いとしたらあのぴわぴよLv.1は嘆かわしい fact5: あるモンスターが焼き難いなら嘆かわしい fact6: 「もし仮にこのもにもにょLv.46が淀み無くないならあのぴわぴよLv.1は焼き難いし嫌味ったらしい」ということは成り立つ fact7: もしもあのぴわぴよLv.1は偉いとしたら「あのぴわぴよLv.1は小狡い」ということは間違いでない
fact3 -> int1: このもにもにょLv.46は焼き難い; int1 & fact4 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact4 -> hypothesis;
このまねまのLv.46は嘆かわしい
fact9 -> int2: このもにもにょLv.46は偉くて小狡い; int2 -> int3: このもにもにょLv.46は小狡い; int3 -> int4: すべてのモンスターは小狡い; int4 -> int5: このまねまのLv.46は小狡い; fact8 -> int6: もし仮にこのまねまのLv.46が焼き難いとしたらこのまねまのLv.46は嘆かわしい;
$facts$ = fact1: このぷわぷやLv.12は焼き難い fact2: 全てのモンスターは偉くて小狡い fact3: このもにもにょLv.46は焼き難い fact4: もしもこのもにもにょLv.46が焼き難いとしたらあのぴわぴよLv.1は嘆かわしい fact5: あるモンスターが焼き難いなら嘆かわしい fact6: 「もし仮にこのもにもにょLv.46が淀み無くないならあのぴわぴよLv.1は焼き難いし嫌味ったらしい」ということは成り立つ fact7: もしもあのぴわぴよLv.1は偉いとしたら「あのぴわぴよLv.1は小狡い」ということは間違いでない ; $hypothesis$ = あのぴわぴよLv.1は嘆かわしい ; $proof$ = 
fact3 -> int1: このもにもにょLv.46は焼き難い; int1 & fact4 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; int1 & fact4 -> hypothesis; __PROVED__