Premise: Four people are walking through a city.
Hypothesis: The city is empty.
Relationship: contradiction