Casa de la Trova (Calle Heredia), Casa de las Tradiciones (Calle General Lacret).
Casa de la Trova is not in Calle Heredia.
mnli hypothesis: Casa de la Trova is not in Calle Heredia. premise: Casa de la Trova (Calle Heredia), Casa de las Tradiciones (Calle General Lacret).