Premise: Casa de la Trova (Calle Heredia), Casa de las Tradiciones (Calle General Lacret).

Hypothesis: Casa de la Trova is not in Calle Heredia.
Relation: contradiction