そのぽにゅぽやLv.13は結合し易くない
fact1: そのぽにゅぽやLv.13は減殺するしまた説明出来る
fact1 -> int1: そのぽにゅぽやLv.13は減殺する;
fact1 -> int1: {A}{a};
$facts$ = fact1: そのぽにゅぽやLv.13は減殺するしまた説明出来る ; $hypothesis$ = そのぽにゅぽやLv.13は結合し易くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__