そのぽにぽゆLv.99は想像し易い
fact1: そのぽにぽゆLv.99が際限無いとするとそのぽにぽゆLv.99は出現し易い fact2: そのぽにぽゆLv.99は際限無い fact3: そのぽにぽゆLv.99が女々しいとしたらそのぽにぽゆLv.99は想像し易い fact4: そのぽにぽゆLv.99は傷付け易い fact5: そのぽにぽゆLv.99は女々しいしおまけに際限無い
fact5 -> int1: そのぽにぽゆLv.99は女々しい; int1 & fact3 -> hypothesis;
fact5 -> int1: {A}{a}; int1 & fact3 -> hypothesis;
$facts$ = fact1: そのぽにぽゆLv.99が際限無いとするとそのぽにぽゆLv.99は出現し易い fact2: そのぽにぽゆLv.99は際限無い fact3: そのぽにぽゆLv.99が女々しいとしたらそのぽにぽゆLv.99は想像し易い fact4: そのぽにぽゆLv.99は傷付け易い fact5: そのぽにぽゆLv.99は女々しいしおまけに際限無い ; $hypothesis$ = そのぽにぽゆLv.99は想像し易い ; $proof$ = 
fact5 -> int1: そのぽにぽゆLv.99は女々しい; int1 & fact3 -> hypothesis; __PROVED__
fact5 -> int1: {A}{a}; int1 & fact3 -> hypothesis; __PROVED__