premise: Three people are traveling together toward the city. hypothesis: The city was closed so the people stayed home and slept all day.
contradiction: People cannot be traveling if they stayed home.