Suppose The Great Pyramid of Giza is the oldest and largest of the three pyramids in the Giza pyramid complex bordering present-day Giza in Egypt. It is called Khufu's Pyramid for its builder, a Fourth Dynasty pharaoh who ruled during 2580–2560 BC.
Can we infer that "The Great Pyramid of Giza is the smallest of the three pyramids in the Giza pyramid complex."? Yes, no, or maybe?