Inference rules taking into account heights of maps