Premise: were situated.

Hypothesis: Not situated there.
Relation: contradiction