Suppose The Great Pyramid of Giza is the oldest and largest of the three pyramids in the Giza pyramid complex.
Can we infer that "The Great Pyramid of Giza is the smallest pyramid in the Giza pyramid complex."? Yes, no, or maybe?