Premise: La Granja de San Ildefonso, about 10 km (6 miles) southeast of Segovia (80 km or 50 miles north of Madrid), is a huge palace set in classic formal gardens.

Hypothesis: La Granja de San Ildefonso no longer exists, sadly.
Relation: contradiction