そのぴのぴくLv.32は感慨深い
fact1: もしもそのぴのぴくLv.32がひもじいとすればそのぴのぴくLv.32は感慨深い fact2: そのぴのぴくLv.32は名高い fact3: そのぴのぴくLv.32はひもじい fact4: そのぴいぴちゅLv.21は感慨深い fact5: すべてのモンスターは伸び易くておまけに平べったい
fact3 -> int1: そのぴのぴくLv.32はひもじい; int1 & fact1 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
そのぴのぴくLv.32は感慨深くない
fact6 -> int2: あのぴにゃぴにょLv.31は伸び易いしおまけにそれは平べったい; int2 -> int3: あのぴにゃぴにょLv.31は平べったい;
$facts$ = fact1: もしもそのぴのぴくLv.32がひもじいとすればそのぴのぴくLv.32は感慨深い fact2: そのぴのぴくLv.32は名高い fact3: そのぴのぴくLv.32はひもじい fact4: そのぴいぴちゅLv.21は感慨深い fact5: すべてのモンスターは伸び易くておまけに平べったい ; $hypothesis$ = そのぴのぴくLv.32は感慨深い ; $proof$ = 
fact3 -> int1: そのぴのぴくLv.32はひもじい; int1 & fact1 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __PROVED__