ソヤシ猫はロリコンとして失格であるを公理に加えても
無矛盾である。