Premise: Each lives in Gloucester.

Hypothesis: None live in Gloucester.
Relation: contradiction