Premise: are residences

Hypothesis: not residences
Relation: contradiction