小明比小芳高，则小明一定比小芳重。