Premise: This is not, after all, where they live.

Hypothesis: They can all be found in this area of surrounding places.
Relation: contradiction